Displaying similar documents to “Fundamental pro-groupoids and covering projections”

Loop spaces and homotopy operations

David Blanc (1997)

Fundamenta Mathematicae

Similarity:

We describe an obstruction theory for an H-space X to be a loop space, in terms of higher homotopy operations taking values in π * X . These depend on first algebraically “delooping” the Π-algebras π * X , using the H-space structure on X, and then trying to realize the delooped Π-algebra.

Diagonal conditions in ordered spaces

Harold Bennett, David Lutzer (1997)

Fundamenta Mathematicae

Similarity:

For a space X and a regular uncountable cardinal κ ≤ |X| we say that κ ∈ D(X) if for each T ⊂ X 2 - Δ ( X ) with |T| = κ, there is an open neighborhood W of Δ(X) such that |T - W| = κ. If ω 1 ∈ D ( X ) then we say that X has a small diagonal, and if every regular uncountable κ ≤ |X| belongs to D(X) then we say that X has an H-diagonal. In this paper we investigate the interplay between D(X) and topological properties of X in the category of generalized ordered spaces. We obtain cardinal invariant theorems and metrization...

Linear orders and MA + ¬wKH

Zoran Spasojević (1995)

Fundamenta Mathematicae

Similarity:

I prove that the statement that “every linear order of size 2 ω can be embedded in ( ω ω , ≪ ) ” is consistent with MA + ¬ wKH.

Algebraic characterization of finite (branched) coverings

M. Mulero (1998)

Fundamenta Mathematicae

Similarity:

Every continuous map X → S defines, by composition, a homomorphism between the corresponding algebras of real-valued continuous functions C(S) → C(X). This paper deals with algebraic properties of the homomorphism C(S) → C(X) in relation to topological properties of the map X → S. The main result of the paper states that a continuous map X → S between topological manifolds is a finite (branched) covering, i.e., an open and closed map whose fibres are finite, if and only if the induced...

PCA sets and convexity

R. Kaufman (2000)

Fundamenta Mathematicae

Similarity:

Three sets occurring in functional analysis are shown to be of class PCA (also called Σ 2 1 ) and to be exactly of that class. The definition of each set is close to the usual objects of modern analysis, but some subtlety causes the sets to have a greater complexity than expected. Recent work in a similar direction is in [1, 2, 10, 11, 12].

Ordinary differential equations and descriptive set theory: uniqueness and globality of solutions of Cauchy problems in one dimension

Alessandro Andretta, Alberto Marcone (1997)

Fundamenta Mathematicae

Similarity:

We study some natural sets arising in the theory of ordinary differential equations in one variable from the point of view of descriptive set theory and in particular classify them within the Borel hierarchy. We prove that the set of Cauchy problems for ordinary differential equations which have a unique solution is ∏ 2 0 -complete and that the set of Cauchy problems which locally have a unique solution is ∑ 3 0 -complete. We prove that the set of Cauchy problems which have a global solution is...

Dense pairs of o-minimal structures

Lou van den Dries (1998)

Fundamenta Mathematicae

Similarity:

The structure of definable sets and maps in dense elementary pairs of o-minimal expansions of ordered abelian groups is described. It turns out that a certain notion of "small definable set" plays a special role in this description.

The normalizer splitting conjecture for p-compact groups

Kasper Andersen (1999)

Fundamenta Mathematicae

Similarity:

Let X be a p-compact group, with maximal torus BT → BX, maximal torus normalizer BN and Weyl group W X . We prove that for an odd prime p, the fibration B T → B N → B W X has a section, which is unique up to vertical homotopy.

A Lefschetz-type coincidence theorem

Peter Saveliev (1999)

Fundamenta Mathematicae

Similarity:

A Lefschetz-type coincidence theorem for two maps f,g: X → Y from an arbitrary topological space to a manifold is given: I f g = λ f g , that is, the coincidence index is equal to the Lefschetz number. It follows that if λ f g ≠ 0 then there is an x ∈ X such that f(x) = g(x). In particular, the theorem contains well-known coincidence results for (i) X,Y manifolds, f boundary-preserving, and (ii) Y Euclidean, f with acyclic fibres. It also implies certain fixed point results for multivalued maps with “point-like”...

Rotation sets for subshifts of finite type

Krystyna Ziemian (1995)

Fundamenta Mathematicae

Similarity:

For a dynamical system (X,f) and a function φ : X → ℝ N the rotation set is defined. The case when (X,f) is a transitive subshift of finite type and φ depends on the cylinders of length 2 is studied. Then the rotation set is a convex polyhedron. The rotation vectors of periodic points are dense in the rotation set. Every interior point of the rotation set is a rotation vector of an ergodic measure.

Extending real-valued functions in βκ

Alan Dow (1997)

Fundamenta Mathematicae

Similarity:

An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C*-embedded subspaces of ω*, showing that there can be such sets of cardinality c and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.