The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying 261 –
280 of
282
Let V be a paracompact connected real analytic manifold of dimension 1 or 2, i.e. a smooth curve or surface. We consider it as a subset of some complex analytic manifold VC of the same dimension. Moreover by a prime divisor of V we shall mean the irreducible germ along V of a codimension one subvariety of VC which is an invariant of the complex conjugation. This notion is independent of the choice of the complexification VC. In the one-dimensional case prime divisors are just points, in the two-dimensional...
We prove that on the basis of ZF the ultrafilter theorem and the theorem of Artin-Schreier are equivalent. The latter says that every formally real field admits a total order.
We introduce ordered rings and fields following Artin-Schreier’s approach using positive cones. We show that such orderings coincide with total order relations and give examples of ordered (and non ordered) rings and fields. In particular we show that polynomial rings can be ordered in (at least) two different ways [8, 5, 4, 9]. This is the continuation of the development of algebraic hierarchy in Mizar [2, 3].
We investigate the lattice of subspaces of an -dimensional vector space over a finite field with a prime power together with the unary operation of orthogonality. It is well-known that this lattice is modular and that the orthogonality is an antitone involution. The lattice satisfies the chain condition and we determine the number of covers of its elements, especially the number of its atoms. We characterize when orthogonality is a complementation and hence when is orthomodular. For...
Let K be a non-Archimedean valued field which contains Qp, and suppose that K is complete for the valuation |·|, which extends the p-adic valuation. Vq is the closure of the set {aqn | n = 0,1,2,...} where a and q are two units of Zp, q not a root of unity. C(Vq --> K) (resp. C1(Vq --> K)) is the Banach space of continuous functions (resp. continuously differentiable functions) from Vq to K. Our aim is to find orthonormal bases for C(Vq --> K) and C1(Vq --> K).
Currently displaying 261 –
280 of
282