Search results for "PROPERTY"
showing 10 items of 955 documents
Unions of identifiable classes of total recursive functions
1992
J.Barzdin [Bar74] has proved that there are classes of total recursive functions which are EX-identifiable but their union is not. We prove that there are no 3 classes U1, U2, U3 such that U1∪U2,U1∪U3 and U2∪U3 would be in EX but U1∪U2∪U3∉ EX. For FIN-identification there are 3 classes with the above-mentioned property and there are no 4 classes U1, U2, U3, U4 such that all 4 unions of triples of these classes would be identifiable but the union of all 4 classes would not. For identification with no more than p minchanges a (2p+2−1)-tuple of such classes do exist but there is no (2p+2)-tuple with the above-mentioned properly.
The Ptolemy and Zbăganu constants of normed spaces
2010
Abstract In every inner product space H the Ptolemy inequality holds: the product of the diagonals of a quadrilateral is less than or equal to the sum of the products of the opposite sides. In other words, ‖ x − y ‖ ‖ z − w ‖ ≤ ‖ x − z ‖ ‖ y − w ‖ + ‖ z − y ‖ ‖ x − w ‖ for any points w , x , y , z in H . It is known that for each normed space ( X , ‖ ⋅ ‖ ) , there exists a constant C such that for any w , x , y , z ∈ X , we have ‖ x − y ‖ ‖ z − w ‖ ≤ C ( ‖ x − z ‖ ‖ y − w ‖ + ‖ z − y ‖ ‖ x − w ‖ ) . The smallest such C is called the Ptolemy constant of X and is denoted by C P ( X ) . We study the relationships between this constant and the geometry of the space X , and hence with metric fix…
Residual 𝑝 properties of mapping class groups and surface groups
2008
Let M ( Σ , P ) \mathcal {M}(\Sigma , \mathcal {P}) be the mapping class group of a punctured oriented surface ( Σ , P ) (\Sigma ,\mathcal {P}) (where P \mathcal {P} may be empty), and let T p ( Σ , P ) \mathcal {T}_p(\Sigma ,\mathcal {P}) be the kernel of the action of M ( Σ , P ) \mathcal {M} (\Sigma , \mathcal {P}) on H 1 ( Σ ∖ P , F p ) H_1(\Sigma \setminus \mathcal {P}, \mathbb {F}_p) . We prove that T p ( Σ , P ) \mathcal {T}_p( \Sigma ,\mathcal {P}) is residually p p . In particular, this shows that M ( Σ , P ) \mathcal {M} (\Sigma ,\mathcal {P}) is virtually residually p p . For a group G G we denote by I p ( G ) \mathcal {I}_p(G) the kernel of the natural action of Out ( G ) \ope…
On Banaschewski functions in lattices
1991
hold for all x, y ~ X. We call such a function z a Banaschewski function or a B-function on X. A lattice L is a B-lattice or antitonely complemented, if there is a B-function defined on the whole lattice L. For instance, Boolean lattices as well as orthocomplemented lattices are B-lattices. On the other hand, a B-lattice is not necessarily Boolean or orthocomplemented, although a distributive B-lattice is a Boolean lattice. It is shown later that a matroid (geometric) lattice is also a B-lattice. Naturally, our results include the lemma of Banaschewski [ 1, Lemma 4], by which the lattice of the subspaces of a vector space is a B-lattice. It should be emphasized that a B-function is supposed…
Convergence of Markov Chains
2020
We consider a Markov chain X with invariant distribution π and investigate conditions under which the distribution of X n converges to π as n→∞. Essentially it is necessary and sufficient that the state space of the chain cannot be decomposed into subspaces that the chain does not leave, or that are visited by the chain periodically; e.g., only for odd n or only for even n.
Exponential Codimension Growth of PI Algebras: An Exact Estimate
1999
Abstract LetAbe an associative PI-algebra over a fieldFof characteristic zero. By studying the exponential behavior of the sequence of codimensions {cn(A)} ofA, we prove thatInv(A)=limn→∞ c n ( A ) always exists and is an integer. We also give an explicit way for computing such integer: letBbe a finite dimensionalZ2-graded algebra whose Grassmann envelopeG(B) satisfies the same identities ofA; thenInv(A)=Inv(G(B))=dim C(0)+dim C(1)whereC(0)+C(1)is a suitableZ2-graded semisimple subalgebra ofB.
Browder's theorems through localized SVEP
2005
A bounded linear operator T ∈ L(X) on aBanach space X is said to satisfy “Browder’s theorem” if the Browder spectrum coincides with the Weyl spectrum. T ∈ L(X) is said to satisfy “a-Browder’s theorem” if the upper semi-Browder spectrum coincides with the approximate point Weyl spectrum. In this note we give several characterizations of operators satisfying these theorems. Most of these characterizations are obtained by using a localized version of the single-valued extension property of T. In the last part we shall give some characterizations of operators for which “Weyl’s theorem” holds.
Periodic and Nil Polynomials in Rings
1980
Let R be an associative ring and f(x1,…, xd) a polynomial in noncommuting variables. We say that f is periodic or nil in R if for all r1,…, rd ∈ R we have that f(r1,…, rd) is periodic, respectively nilpotent (recall that a ∈ R is periodic if for some integer ).
Hyperidentities of some generalizations of lattices
1998
In the paper we present bases and hyperbases of hyperidentities of some generalizations of the variety L of all lattices and the variety D of distributive lattices. We describe the form of hyperidentities of some varieties with two binary operations.
Asymptotics for the multiplicities in the cocharacters of some PI-algebras
2003
We consider associative PI-algebras over a field of characteristic zero. We study the asymptotic behavior of the sequence of multiplicities of the cocharacters for some significant classes of algebras. We also give a characterization of finitely generated algebras for which this behavior is linear or quadratic.