Decomposable sets and weak invariance

Given a set X ? Rⁿ and a subspace B ? Rⁿ, we say that X is $\text{B}$-decomposable if there exists a direct sum complement $\text{M}$ of $\text{B}$ such that {X ∩ M ≠ ?} and X ? {X ∩ M} + B. A structural characterization of $\text{B}$-decomposability is obtained for compact convex X, which yields a procedure for verification of the property in case X is also polyhedral. Our application of $\text{B}$-decomposability is in control theory. It is proven that if a compact convex polyhedral set X is {Range(B)}-decomposable, then the system capability of weak invariance (holdability) of X under the linear autonomous control system x = Ax + Bu (without control restraints) is equivalent to the existence of a constant linear feedback law u = Fx under which X is holdable.     

Spectral measures and the Bade reflexivity theorem

Let $\text{B}$ be a strongly equicontinuous Boolean algebra of projections on the quasi-complete locally convex space X and assume that the space L(X) of continuous linear operators on X is sequentially complete for the strong operator topology. Methods of integration with respect to spectral measures are used to show that the closed algebra generated by $\text{B}$ in L(X) consists precisely of those continuous linear operators on X which leave invariant each closed $\text{B}$-invariant subspace of X.     

Equivariant embeddings of principal Z-bundles into complex vector bundles

Let π: E→X be a principal $\text{Z}$_n-bundle and p:V→X an m-dimensional complex vector bundle over, say, a connected CW-complex X. An equivariant embedding of π into p is an embedding h:E → V commuting with projections such that h(e · z)=zh(e) for all eεE and $\text{zε}\text{Z}{}_{\mathrm{n}}\text{?S}{}^1\text{?}\text{Z}$. We compute the primary obstruction $\text{cεH}{}^{\mathrm{2m}}\text{(X;}\text{Z}\text{)}$ to embedding π equivariantly into p. If dim X?2m, then c=0 if and only if π admits an equivariant embedding into p. If dim X>2m and π embeds equivariantly into p, then c=0. Other embedding criteria exist in case p is the trivial m-plane bundle ε^m. We use these criteria for a discussion of the classification of the equivalence classes of principal $\text{Z}$-bundles that admit equivariant embeddings into ε^m. Finally, we offer an example of a principal $\text{Z}$-bundle that admit an ordinary but not an equivariant embedding into ε¹.     

Quasimartingales on partially ordered sets

The concept of a quasimartingale, and therefore also of a function of bounded variation, is extended to processes with a regular partially ordered index set V and with values in a Banach space. We show that quasimartingales can be described by their associated measures, defined on an inverse limit space $\text{S × Ω}$ containing $\text{V × Ω}$, furnished with the σ-algebra $\text{P}$ of the predictable sets. With the help of this measure, a Rao-Krickeberg and a Riesz decomposition is obtained, as well as a convergence theorem for quasimartingales. For a regular quasimartingale X it is proven that the spaces ($\text{S × Ω}$, $\text{P}$) and the measures associated with X are unique up to isomorphisms. In the case V = $\text{R}$₊ⁿ we prove a duality between classical (right-) quasimartingales and left-quasimartingales.     

F-mixing and weak disjointness

A topological system (X,f) is $\text{F}$-transitive if for each pair of opene subsets U and V of X, $\text{N}{}_{\mathrm{f}}\text{(U,V)={n∈}\text{Z}{}_{\mathrm{+}}\text{:}\text{f}{}^{\mathrm{n}}\text{U∩V≠∅}∈}\text{F}$, where $\text{F}$ is a collection of subsets of $\text{Z}{}_{\mathrm{+}}$ which is hereditary upward. (X,f) is $\text{F}$-mixing if (X×X,f×f) is $\text{F}$-transitive. In this paper $\text{F}$-mixing systems are characterized in terms of the chaoticity of the systems. Moreover, weak disjointness is studied via family. We will give conditions such that a dual theorem of the Weiss–Akin–Glasner theorem holds. Examples with this dual theorem fails for some “good” families are obtained.     

A generalization of Turán's theorem to directed graphs

We consider an extremal problem for directed graphs which is closely related to Turán's theorem giving the maximum number of edges in a graph on n vertices which does not contain a complete subgraph on m vertices. For an integer n?2, let T_n denote the transitive tournament with vertex set X_n={1,2,3,…,n} and edge set {(i,j):1?i<j?n}. A subgraph H of T_n is said to be m-locally unipathic when the restriction of H to each m element subset of X_n consisting of m consecutive integers is unipathic. We show that the maximum number of edges in a m-locally unipathic subgraph of T_n is ($\text{q}\text{2}\text{)(m?1)}{}^2\text{+q(m?1)r+?}\text{1}\text{4}\text{r}{}^2\text{?}$ where n= q(m?1+r and $\text{?}\text{1}\text{2}\text{(m?1)??r<?}\text{3}\text{2}\text{(m?1)?}$. As is the case with Turán's theorem, the extremal graphs for our problem are complete multipartite graphs. Unlike Turán's theorem, the part sizes will not be uniform. The proof of our principal theorem rests on a combinatorial theory originally developed to investigate the rank of partially ordered sets.     

Positive integrable elements relative to a left Hilbert algebra

Let $\text{U}$ be an achieved left Hilbert algebra. Let $\text{η∈D}{}^{\mathrm{?}}$ be an element such that π′(η) is a positive operator. Then, following M. A. Rieffel, η is called integrable if sup{(η|e)e∈U and ee^?e²} < + ∞. It is shown that η is integrable if and only if there is an element ζ∈D^flat; such π′(ζ) is positive and ζ is a square root of η in an appropriate sense. This is shown to be a generalization of Godement's well known theorem on the existence of a convolution square root for a continuous square-integrable positive-definite function on a locally compact group. An “integral” and an “L¹-norm” are then defined on the linear span of the positive integrable elements and the completion of this space, denoted by L¹($\text{U}$), is shown to be the predual of $\text{l}$($\text{U}$). “Godement's theorem” is then used to investigate square-integrable representations of $\text{U}$.     

An extension of Tutte's 1-factor theorem

We prove the following theorem: Let G be a graph with vertex-set V and ?, g be two integer-valued functions defined on V such that $\text{0}\text{?g(x) ?1??(x)}$ for all x ∈ V. Then G contains a factor F such that $\text{g(x)?d}{}_{\mathrm{F}}\text{(x)??(x)}$ for all x ∈ V if and only if for every subset X of V, $\text{?(X)}$ is at least equal to the number of connected components C of G[V ? X] such that either C = {x} and g(x) = 1, or |C| is odd ?3 and $\text{g(x) = ?(x) =}\text{1}$ for all x ∈ C. Applications are given to certain combinatorial geometries associated with factors of graphs.     

Generalized quasi-variational inequalities in locally convex topological vector spaces

Let E be a Hausdorff topological vector space and X ? E an arbitrary nonempty set. Denote by E′ the dual space of E and the pairing between E′ and E by 〈w, x〉 for w?E′ and x?E. Given a point-to-set map S: X → 2^X and a point-to-set map T: X → 2^E′, the generalized quasi-variational inequality problem (GQVI) is to find a point $\text{y}\text{?}\text{? S(}\text{y}\text{?}\text{)}$ and a point $\text{u}\text{?}\text{? T(}\text{y}\text{?}\text{)}$ such that $\text{Re}\text{〈}\text{u}\text{?}\text{,}\text{y}\text{?}\text{? x〉 ? 0}$ for all $\text{x ? S(}\text{y}\text{?}\text{)}$. By using the Ky Fan minimax principle or its generalized version as a tool, some general theorems on solutions of the GQVI in locally convex Hausdorff topological vector spaces are obtained which include a fixed point theorem due to Ky Fan and I. L. Glicksberg, and two different multivalued versions of the Hartman-Stampacchia variational inequality.     

Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

On operator-valued analytic functions with constant norm

Let X be a complex Banach space and $\text{D}$ a domain in the complex plane. Let f: $\text{D}$ → X be an analytic function such that ∥f(ζ)∥ is constant as ζ ? $\text{D}$. If X is the complex plane, then by the classical maximum modulus theorem f;(ζ) itself is constant on $\text{D}$. This is not the case in general. In the paper we study the norm-constant analytic functions whose values are bounded linear operators over an uniformly convex complex Banach space or, in particular, over a complex Hilbert space.     

Classifying Hilbert bundles. II

A Hilbert bundle (p, B, X) is a type of fibre space p: B → X such that each fibre p^?1(x) is a Hilbert space. However, p^?1(x) may vary in dimension as x varies in X, even when X is connected. We give two “homotopy” type classification theorems for Hilbert bundles having primarily finite dimensional fibres. An (m, n)-bundle over the pair (X, A) is a Hilbert bundle over (p, B, X) such that the dimension of p^?1(x) is m for x in A and n otherwise. As a special case, we show that if X is a compact metric space, C₊X the upper cone of the suspension SX, then the isomorphism classes of (m, n)-bundles over (SX, C₊X) are in one-to-one correspondence with the members of [X, V_m($\text{C}$ⁿ)] where V_m($\text{C}$ⁿ) is the Stiefel manifold. The results are all applicable to the classification of separable, continuous trace C¹-algebras, with specific results given to illustrate.     

Spaces of matrices of equal rank

Let M_m,n(F) denote the space of all mXn matrices over the algebraically closed field F. A subspace of M_m,n(F), all of whose nonzero elements have rank k, is said to be essentially decomposable if there exist nonsingular mXn matrices U and V respectively such that for any element A, UAV has the form

$\text{UAV=}\text{A}{}_1\text{A}{}_2\text{A}{}_3\text{0}$

where A₁ is iX(k–i) for some i?k. Theorem: If $\text{K}$ is a space of rank k matrices, then either $\text{K}$ is essentially decomposable or dim $\text{K}$?k+1. An example shows that the above bound on non-essentially-decomposable spaces of rank k matrices is sharp whenever n?2k–1.     

A fixed point theorem for eventually nonexpansive semigroups of mappings

Let K be a subset of a Banach space X. A semigroup $\text{F}$ = {?_α ∥ α ∞ A} of Lipschitz mappings of K into itself is called eventually nonexpansive if the family of corresponding Lipschitz constants $\text{{k}{}_{\mathrm{\alpha }}\text{¦ α ? A}}$ satisfies the following condition: for every ? > 0, there is a γ?A such that k_β < 1 + ? whenever ?_β ? ?_γ$\text{F}$ = {?_gg?_α ¦ ?_α ? $\text{F}$}. It is shown that if K is a nonempty, closed, convex, and bounded subset of a uniformly convex Banach space, and if $\text{F}$:K → K is an eventually nonexpansive, commutative, linearly ordered semigroup of mappings, then $\text{F}$ has a common fixed point. This result generalizes a fixed point theorem by Goebel and Kirk.     

Un probleme de partition de l'ensemble des parties a trois elements d'un ensemble fini

Let X be a set of n elements. Let $\text{T}$₃(X) be the set of all triples of X. We define a clique as a set of triples which intersect pairwise in two elements. In this paper we prove that if n?6, the minimum cardinality of a partition of $\text{T}$₃(X) into cliques is $\text{[}\text{1}\text{4}\text{(n?1)}{}^2\text{]}$.     

Some special vapnik-chervonenkis classes

For a class $\text{C}$ of subsets of a set X, let V($\text{C}$) be the smallest n such that no n-element set F?X has all its subsets of the form A ∩ F, A ∈ $\text{C}$. The condition V($\text{C}$) <+∞ has probabilistic implications. If any two-element subset A of X satisfies both A ∩ C = Ø and A ? D for some C, D∈$\text{C}$, then $\text{V(}\text{C}\text{)=2}$ if and only if $\text{C}$ is linearly ordered by inclusion. If $\text{C}$ is of the form $\text{C}\text{={∩}{}^{\mathrm{n}}{}_{\mathrm{i=1}}\text{C}{}_{\mathrm{i}}\text{:C}{}_{\mathrm{i}}\text{∈}\text{C}{}_{\mathrm{i}}$, i=1,2,…,n}, where each $\text{C}{}_{\mathrm{i}}$ is linearly ordered by inclusion, then $\text{V(}\text{C}\text{)?n+1}$. If H is an (n-1)-dimensional affine hyperplane in an n-dimensional vector space of real functions on X, and $\text{C}$ is the collection of all sets {x: f(x)>0} for f in H, then $\text{V(}\text{C}\text{)=n}$.     

Limit laws for record values

{X_n,n?1} are i.i.d. random variables with continuous d.f. F(x). X_j is a record value of this sequence if X_j>max{X₁,…,X_j?1}. Consider the sequence of such record values {X_Ln,n?1}. Set R(x)=-log(1?F(x)). There exist B_n > 0 such that . in probability (i.p.) iff i.p. iff $\text{{R(kx)?R(x)}}\text{R}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(kx)}$ → ∞ as x→∞ for all k>1. Similar criteria hold for the existence of constants A_n such that X_Ln?A_n → 0 i.p. Limiting record value distributions are of the form N(-log(-logG(x))) where G(·) is an extreme value distribution and N(·) is the standard normal distribution. Domain of attraction criteria for each of the three types of limit laws can be derived by appealing to a duality theorem relating the limiting record value distributions to the extreme value distributions. Repeated use is made of the following lemma: If $\text{P}\text{{X}{}_{\mathrm{n}}\text{?x}=1?e}{}^{\mathrm{-x}}\text{,x?0}$, then X_Ln=Y₀+…+Y_n where the Y_j's are i.i.d. and $\text{P}\text{{Y}{}_{\mathrm{j}}\text{?x}=1?e}{}^{\mathrm{-x}}$.     

A note on a theorem of heath

We propose a generalization of Heath's theorem that semi-metric spaces with point-countable bases are developable: A semi-metrizable space X is developabale if (and only if) there is on it a σ-discrete family $\text{C}\text{=?}{}_{\mathrm{m?N}}\text{C}{}_{\mathrm{m}}$ of closed sets, interior-preserving over each member C of which is a countable family {$\text{D}$_n(C): n ∈ N} of collections of open sets such that if U is a neighbourhood of ξ∈X, then there are such a Γ∈$\text{C}$ and such a v∈ N that ξ ? Γ and ξ∈ int ∩ (D: ξ: D∈$\text{D}$_v(Γ))?U.     

Gaussian processes with biconvex covariances

Let R(s, t) be a continuous, nonnegative, real valued function on a ≤ s ≤ t ≤ b. Suppose $\text{?R}\text{?s}\text{≥ 0}$, $\text{?R}\text{?t}\text{≤ 0}$, and $\text{?}{}^2\text{R}\text{?t}\text{?t ≤ 0}$ in the interior of the domain. Then the extension of R to a symmetric function on [a, b] × [a, b] is a covariance function. Such a covariance is called biconvex. Let X(t) be a Gaussian process with mean 0 and biconvex covariance. X has a representation as a sum of simple moving averages of white noises on the line and plane. The germ field of X at every point t is generated by X(t) alone. X is locally nondeterministic. Under an additional assumption involving the partial derivatives of R near the diagonal, the local time of the sample function exists and is jointly continuous almost surely, so that the sample function is nowhere differentiable.