Radon-Nikodym derivatives of finitely additive interval measures taking values in a Banach space with basis

Let X be a Banach space with a Schauder basis { en }, and let Φ( I ) = Σ∞ n=1 en∫I fn(t)dt be a finitely additive interval measure on the unit interval [0, 1], where the integrals are taken in the sense of Henstock-Kurzweil. Necessary and sufficient conditions are given for Φ to be the indefinite integral of a Henstock-Kurzweil-Pettis (or Henstock, or variational Henstock) integrable function f : [0, 1] → X .     

Distinguishing labeling of the actions of almost simple groups

Suppose Γ is a group acting on a set X, written as (Γ,X). An r-labeling f: X→{1,2, ..., r} of X is called distinguishing for (Γ,X) if for all σ∈Γ,σ≠1, there exists an element x∈X such that f(x)≠f(x ^σ ). The distinguishing number d(Γ,X) of (Γ,X) is the minimum r for which there is a distinguishing r-labeling for (Γ,X). If Γ is the automorphism group of a graph G, then d(Γ,V (G)) is denoted by d(G), and is called the distinguishing number of the graph G. The distinguishing set of Γ-actions is defined to be D*(Γ)={d(Γ,X): Γ acts on X}, and the distinguishing set of Γ-graphs is defined to be D(Γ)={d(G): Aut(G)≅Γ}. This paper determines the distinguishing set of Γ-actions and the distinguishing set of Γ-graphs for almost simple groups Γ.     

On the Cauchy difference on normed spaces

LetX be a real linear normed space, (G, +) be a topological group, andK be a discrete normal subgroup ofG. We prove that if a continuous at a point or measurable (in the sense specified later) functionf:X →G fulfils the condition:f(x +y) -f(x) -f(y) ∈K whenever ‖x‖ = ‖y‖, then, under some additional assumptions onG,K, andX, there esists a continuous additive functionA :X →G such thatf(x) -A(x) ∈K.     

Extensions by Means of Expansions and Selections

We provide proper mapping-characterizations of some embedding-like properties weaker than -embedding. For instance, we show that a subset A of a space X is -embedded in X if and only if for every continuous map g: A → Y into a Banach space Y of weight w(Y) ⩽ λ, there exists a continuous set-valued mapping φ of X into the nonempty compact subsets of Y such that g is a selection for φ∣A (i.e., g(x) ∈ φ(x) for every x ∈ A). On the other hand, we show that a subset A is C*-embedded in X if and only if for every continuous set-valued mapping φ of X into the non-empty compact subsets of a Banach space Y, every continuous selection g: A → Y for φ∣A is continuously extendable to the whole of X. Combining both results we get the well-known mapping-characterization of -embedding which makes more transparent the relation ‘’. Other weak components of -embedding are described in terms of expansions and selections, possible applications are demonstrated as well.     

Order of a function on the Bruschlinsky group of a two-dimensional polyhedron

Homotopy classes of mappings of a compact polyhedron X to the circle T form an Abelian group B(X), which is called the Bruschlinsky group and is cananically isomorphic to H ¹ (X; ℤ), Let L be an Abelian group, and let f: B(X) → L be a function. One says that the order of f does not exceed r if for each mapping a: X → T the value f([a]) is ℤ-linearly expressed via the characteristic function I _r (a): (X × T) ^r → ℤ of (Γ _a ) ^r , where Γ _a ⊂ X × T is the graph of a. The (algebraic) degree of f is not greater than r if the finite differences of f of order r + 1 vanish. Conjecturally, the order of f is equal to the algebraic degree of f. The conjecture is proved in the case where dim X ≤ 2. Bibliography: 1 title.     

Spectra of ergodic group actions

LetG be a locally compact second countable abelian group, (X, μ) aσ-finite Lebesgue space, and (g, x) →gx a non-singular, properly ergodic action ofG on (X, μ). Let furthermore Γ be the character group ofG and let Sp(G, X) ⊂ Γ denote theL ^∞-spectrum ofG on (X, μ). It has been shown in [5] that Sp(G, X) is a Borel subgroup of Γ and thatσ (Sp(G, X))<1 for every probability measureσ on Γ with lim sup_g→∞Re (g)<1, where is the Fourier transform ofσ. In this note we prove the following converse: ifσ is a probability measure on Γ with lim sup_g→∞Re (g)<1 (g)=1 then there exists a non-singular, properly ergodic action ofG on (X, μ) withσ(Sp(G, X))=1.     

Packing cycles with modularity constraints

We prove that for all positive integers k, there exists an integer N =N(k) such that the following holds. Let G be a graph and let Γ an abelian group with no element of order two. Let γ: E(G)→Γ be a function from the edges of G to the elements of Γ. A non-zero cycle is a cycle C such that Σ _e∈E(C) γ(e) ≠ 0 where 0 is the identity element of Γ. Then G either contains k vertex disjoint non-zero cycles or there exists a set X ⊆ V (G) with |X| ≤N(k) such that G−X contains no non-zero cycle.     

Observable actions of algebraic groups

Let G be an affine algebraic group and let X be an affine algebraic variety. An action G × X → X is called observable if for any G-invariant, proper, closed subset Y of X there is a nonzero invariant f ∈ \Bbbk\Bbbk [X] ^G such that f| _Y = 0. We characterize this condition geometrically as follows. The action G × X → X is observable if and only if:

On an Asymptotic Behavior of Exponential Functional Equation

The stability problems of the exponential （functional） equation on a restricted domain will be investigated, and the results will be applied to the study of an asymptotic property of that equation. More precisely, the following asymptotic property is proved： Let X be a real （or complex） normed space. A mapping f ： X → C is exponential if and only if f（x ＋ y） - f（x）f（y） → 0 as ｜｜x｜｜ ＋ ｜｜y｜｜ → ∞ under some suitable conditions.     

Weak and strong forms of β-irresolute functions

A subset A of a topological space X is said to be β-open [1] if A ⊂ Cl (Int (Cl (A))). A function f : X → Y is said to be β-irresolute [4] if for every β-open set V of Y, f ^-1(V) is β-open in X. In this paper we introduce weak and strong forms of β-irresolute functions and obtain several basic properties of such functions. This revised version was published online in August 2006 with corrections to the Cover Date.     

Idealization of a decomposition theorem

In 1986, Tong [13] proved that a function f : (X,τ)→(Y,φ) is continuous if and only if it is α-continuous and A-continuous. We extend this decomposition of continuity in terms of ideals. First, we introduce the notions of regular-I-closed sets, A _I-sets and A _I -continuous functions in ideal topological spaces and investigate their properties. Then, we show that a function f : (X,τ,I)→(Y, φ) is continuous if and only if it is α-I-continuous and A _I-continuous. This revised version was published online in June 2006 with corrections to the Cover Date.     

Additive summable processes and their stochastic integral

We define and study a class of summable processes, called additive summable processes, that is larger than the class used by Dinculeanu and Brooks [D-B]. We relax the definition of a summable processesX:Ω×ℝ₊→E⊂L(F, G) by asking for the associated measureI _X to have just an additive extension to the predictableσ-algebra ℘, such that each of the measures (I _X) _z , forz∈(L _G ^p )*, beingσ-additive, rather than having aσ-additive extension. We define a stochastic integral with respect to such a process and we prove several properties of the integral. After that we show that this class of summable processes contains all processesX:Ω×ℝ₊→E⊂L(F, G) with integrable semivariation ifc ₀ ∋G.     

On the sum of the reciprocals of cycle lengths in sparse graphs

For a graphG let ℒ(G)=Σ{1/k contains a cycle of lengthk}. Erdős and Hajnal [1] introduced the real functionf(α)=inf {ℒ (G)|E(G)|/|V(G)|≧α} and suggested to study its properties. Obviouslyf(1)=0. We provef (k+1/k)≧(300k logk)⁻¹ for all sufficiently largek, showing that sparse graphs of large girth must contain many cycles of different lengths.     

Relative uniform completeness and order-convex representations of archimedean ?-groups and f-rings

Results of Henriksen and Johnson, for archimedean f-rings with identity, and of Aron and Hager, for archimedean ?-groups with unit, relating uniform completeness to order-convexity of a representation in a D(X) (the lattice of almost real continuous functions on the space X) are extended to situations without identity or unit. For an archimedean ?-group, G, we show: if G admits any representation G?D(X) in which G is order-convex, then G is divisible and relatively uniformly complete. A converse to this would seem to require some sort of canonical representation of G, which seems not to exist in the ?-group case. But for a reduced archimedean f-ring, A, there is the Johnson representation A?D(XA), and we show: A is divisible, relatively uniformly complete and square-dominated if and only if A is order-convex in D(XA) and square-root-closed. Also, we expand on the situation with unit, where we have the Yosida representation, G?D(YG): if G is divisible, relatively uniformly complete, and the unit is a near unit, then G is order-convex in D(YG).     

Oscillation for almost continuity

Let X be a topological space and (Y,d) be a metric space. If f: X → Y is a function then there is a function a _f : X → [0, ∞] such that f is almost continuous at x if and only if a _f (x) = 0. Some properties of this function are investigated. Supported by grant VEGA 2/6087/26 and APVT-51-006904.     

On the prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis>) where <Emphasis Type="Italic">p</Emphasis> > 3 is a prime number

Let G be a finite group. We define the prime graph Γ(G) as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p, q are joined by an edge if there is an element in G of order pq. Recently M. Hagie [5] determined finite groups G satisfying Γ(G) = Γ(S), where S is a sporadic simple group. Let p > 3 be a prime number. In this paper we determine finite groups G such that Γ(G) = Γ(PSL(2, p)). As a consequence of our results we prove that if p > 11 is a prime number and p ≢ 1 (mod 12), then PSL(2, p) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph. The third author was supported in part by a grant from IPM (No. 84200024).     

On Connected [g,f +1]-Factors in Graphs

Let G = (V (G),E(G)) be a graph with vertex set V (G) and edge set E(G), and g and f two positive integral functions from V (G) to Z⁺-{1} such that g(v) ≤ f(v) ≤ d_G(v) for all v ∈V (G), where d_G(v) is the degree of the vertex v. It is shown that every graph G, including both a [g,f]-factor and a hamiltonian path, contains a connected [g,f +1]-factor. This result also extends Kano’s conjecture concerning the existence of connected [k,k+1]-factors in graphs. * The work of this author was supported by NSFC of China under Grant No. 10271065, No. 60373025. † The work of these authors was also supported in part by the US Department of Energy’s Genomes to Life program (http://doegenomestolife.org/) under project, “Carbon Sequestration in Synechococcus sp.: From Molecular Machines to Hierarchical Modeling” (www.genomes2life.org) and by National Science Foundation (NSF/DBI-0354771,NSF/ITR-IIS-0407204).     

Homotopy invariants of mappings to the circle

Homotopy classes of mappings of a space X to the circle T form an Abelian group B(X) (the Bruschlinsky group). If a: X → T is a continuous mapping, then [a] denotes the homotopy class of a, and I _r (a): (X × T) _r → \mathbbZ \mathbb{Z} is the indicator function of the rth Cartesian power of the graph of a. Let C be an Abelian group and let f: B(X) → C be a mapping. By definition, f has order not greater than r if the correspondence I _r (a) → f([a]) extends to a (partly defined) homomorphism from the Abelian group of Z-valued functions on (X × T) ^r to C. It is proved that the order of f equals the algebraic degree of f. (A mapping between Abelian groups has degree at most r if all of its finite differences of order r +1 vanish.) Bibliography: 2 titles.