Math 525 Notes for sec 22 Final Topologies Let Y be a set, {(X i,τi
... space is homeomorphic to a circle, considered as a subspace of R2 . Example 2 Let (X, τ ) be the closed unit square [0, 1] × [0, 1], considered as a subspace of R2 . We define a quotient set X̂ by identifying pairs of points on the two vertical boundaries which are the same height above the x-axis ( ...
... space is homeomorphic to a circle, considered as a subspace of R2 . Example 2 Let (X, τ ) be the closed unit square [0, 1] × [0, 1], considered as a subspace of R2 . We define a quotient set X̂ by identifying pairs of points on the two vertical boundaries which are the same height above the x-axis ( ...
Quotient spaces
... Put more simply, we wish to topologize X/∼ in a way satisfying condition (2). There seems to be no good reason to place any further conditions on what a quotient space should be, so, with this motivation, we make the following definition. Definition. Suppose that X is a topological space on which an ...
... Put more simply, we wish to topologize X/∼ in a way satisfying condition (2). There seems to be no good reason to place any further conditions on what a quotient space should be, so, with this motivation, we make the following definition. Definition. Suppose that X is a topological space on which an ...
CLASSIFYING SPACES OF MONOIDS – APPLICATIONS IN
... Thus, the bh a defines a natural transformation between the identity functor IC : C → C on C and the constant (in ∗) functor on C. Therefore, C is contractible. ¤ Schori introduced in [S] a sequence Dn of interesting configuration spaces. It was proved in [A-M-S], that D2 is the well-known Dunce Hat ...
... Thus, the bh a defines a natural transformation between the identity functor IC : C → C on C and the constant (in ∗) functor on C. Therefore, C is contractible. ¤ Schori introduced in [S] a sequence Dn of interesting configuration spaces. It was proved in [A-M-S], that D2 is the well-known Dunce Hat ...
Section 7: Manifolds with boundary Review definitions of
... Is the closed rectangle [0, 1] × [0, 2] ⊂ R2 a manifold? No. Why? We’d like to say that the closed rectangle is a manifold with boundary. Before defining this, we need another definition. Definition 1. The n-dimensional upper half-space is defined as Rn+ = {(x1 , · · · , xn ) ∈ Rn | xn ≥ 0} When n = ...
... Is the closed rectangle [0, 1] × [0, 2] ⊂ R2 a manifold? No. Why? We’d like to say that the closed rectangle is a manifold with boundary. Before defining this, we need another definition. Definition 1. The n-dimensional upper half-space is defined as Rn+ = {(x1 , · · · , xn ) ∈ Rn | xn ≥ 0} When n = ...
Higher Simple Homotopy Theory (Lecture 7)
... a triangulation of |B|, unless one is liberal with the meaning of the word “triangulation”). Corollary 6. The simplicial set M is a Kan complex. Proof. Suppose we are given a map f0 : Λni → M, given by a polyhedron E ⊆ |Λni | × R∞ for which the projection E → |Λni | is a fibration. Choose a piecewis ...
... a triangulation of |B|, unless one is liberal with the meaning of the word “triangulation”). Corollary 6. The simplicial set M is a Kan complex. Proof. Suppose we are given a map f0 : Λni → M, given by a polyhedron E ⊆ |Λni | × R∞ for which the projection E → |Λni | is a fibration. Choose a piecewis ...
Dualities in Mathematics: Locally compact abelian groups
... Let G be a locally compact group. Then G admits a left Haar measure. This measure is unique up to an overall factor. • G has a left Haar measure iff it has a right Haar measure. • A non-zero Haar measure is positive on all open sets. • µ(G) is finite iff G is compact. ...
... Let G be a locally compact group. Then G admits a left Haar measure. This measure is unique up to an overall factor. • G has a left Haar measure iff it has a right Haar measure. • A non-zero Haar measure is positive on all open sets. • µ(G) is finite iff G is compact. ...
Topology vs. Geometry
... finger tip onto the surface, the total curvature remains unchanged. In some points the curvature will increase, in some points it will decrease, but as told to us by Gauss, added up the changes cancel out each other. Total curvature is therefore a global property, and in fact only dependent on the t ...
... finger tip onto the surface, the total curvature remains unchanged. In some points the curvature will increase, in some points it will decrease, but as told to us by Gauss, added up the changes cancel out each other. Total curvature is therefore a global property, and in fact only dependent on the t ...
Combinatorial Equivalence Versus Topological Equivalence
... work of Stallings [13] related to this question, also. A weaker question may be asked, which, in the light of Theorem 6.1, is relevant. Are there two combinatorial imbeddings f,g:S,-2_Sm such that these bounded complements M, Mg c S'" have the same homotopy type but distinct simple homotopy type? Fi ...
... work of Stallings [13] related to this question, also. A weaker question may be asked, which, in the light of Theorem 6.1, is relevant. Are there two combinatorial imbeddings f,g:S,-2_Sm such that these bounded complements M, Mg c S'" have the same homotopy type but distinct simple homotopy type? Fi ...
1.2 Topological Manifolds.
... (ii) is Hausdorff and such that every point of x ∈ M n has a neighborhood U homeomorphic to an open subset of R1+ × Rn−1 . If we denote this homeomorphism by h: h : U → V ⊂ R1+ × Rn−1 , and projections onto coordinate axes in R1+ ×Rn−1 by r1 , . . . , rn , then compositions xi = ri ◦h are coordinate ...
... (ii) is Hausdorff and such that every point of x ∈ M n has a neighborhood U homeomorphic to an open subset of R1+ × Rn−1 . If we denote this homeomorphism by h: h : U → V ⊂ R1+ × Rn−1 , and projections onto coordinate axes in R1+ ×Rn−1 by r1 , . . . , rn , then compositions xi = ri ◦h are coordinate ...
PDF
... Homology is the general name for a number of functors from topological spaces to abelian groups (or more generally modules over a fixed ring). It turns out that in most reasonable cases a large number of these (singular homology, cellular homology, Morse homology, simplicial homology) all coincide. ...
... Homology is the general name for a number of functors from topological spaces to abelian groups (or more generally modules over a fixed ring). It turns out that in most reasonable cases a large number of these (singular homology, cellular homology, Morse homology, simplicial homology) all coincide. ...
Contents - POSTECH Math
... In general, if A ⊆ X is a subset of X, we can define ∼A by x ∼A y if either x = y, or x, y ∈ A. Then X/ ∼A is the quotient by collapsing A to a single point in X, denoted by X/ ∼A ≡ X/A. Example 1.4 (1) Note that Sn−1 = ∂Dn is the boundary of the unit n-disk (or, n-ball). Then Dn /Sn−1 ≃ Sn is a can ...
... In general, if A ⊆ X is a subset of X, we can define ∼A by x ∼A y if either x = y, or x, y ∈ A. Then X/ ∼A is the quotient by collapsing A to a single point in X, denoted by X/ ∼A ≡ X/A. Example 1.4 (1) Note that Sn−1 = ∂Dn is the boundary of the unit n-disk (or, n-ball). Then Dn /Sn−1 ≃ Sn is a can ...
Continuous mappings with an infinite number of topologically critical
... The next theorem is the principal result of the paper. Theorem 3.3. Let M m , N n be compact connected topological manifolds such that m ≥ n ≥ 2. If ϕalg (π1 (M ), π1 (N )) = ∞ then ϕtop (M, N ) = ∞. P r o o f. Let f : M → N be a continuous mapping and f∗ : π1 (M ) → π1 (N ) be the induced homomorph ...
... The next theorem is the principal result of the paper. Theorem 3.3. Let M m , N n be compact connected topological manifolds such that m ≥ n ≥ 2. If ϕalg (π1 (M ), π1 (N )) = ∞ then ϕtop (M, N ) = ∞. P r o o f. Let f : M → N be a continuous mapping and f∗ : π1 (M ) → π1 (N ) be the induced homomorph ...
Covering manifolds - IME-USP
... classes or orbits, namely p̃ ∼ q̃ if and only if q̃ = γ p̃ for some γ ∈ Γ. The orbit through p̃ is denoted Γ(p̃). The quotient space Γ\M̃ is also called orbit space. The quotient topology is defined by the condition that U ⊂ M is open if and only if π −1 (U ) is open in M̃ . In particular, for an op ...
... classes or orbits, namely p̃ ∼ q̃ if and only if q̃ = γ p̃ for some γ ∈ Γ. The orbit through p̃ is denoted Γ(p̃). The quotient space Γ\M̃ is also called orbit space. The quotient topology is defined by the condition that U ⊂ M is open if and only if π −1 (U ) is open in M̃ . In particular, for an op ...
New examples of totally disconnected locally compact groups
... Hausdorff if for each x 6= y there are disjoint open sets, one containing x and the other y locally compact if for each x and each open set U containing x there is a compact open set V⊆U containing x connected if it is not the disjoint union of two open sets totally disconnected if for each x 6= y, ...
... Hausdorff if for each x 6= y there are disjoint open sets, one containing x and the other y locally compact if for each x and each open set U containing x there is a compact open set V⊆U containing x connected if it is not the disjoint union of two open sets totally disconnected if for each x 6= y, ...
Universal cover of a Lie group. Last time Andrew Marshall
... is a Lie group in such a way that the covering map p : G1 → G is a Lie group homomorphism. Moreover ker(p) lies in the center of G1 . Definition 1. A connected topological space is said to be ‘simply connected’ if its fundamental group is trivial (the 0 group). Equivalently, a simply connected topol ...
... is a Lie group in such a way that the covering map p : G1 → G is a Lie group homomorphism. Moreover ker(p) lies in the center of G1 . Definition 1. A connected topological space is said to be ‘simply connected’ if its fundamental group is trivial (the 0 group). Equivalently, a simply connected topol ...
I.1 Connected Components
... Definition B. A separation is a non-trivial partition of the vertices, V = U ∪ W , such that no edge connects a vertex in U with a vertex in W . A simple graph G is connected if it has no separation. Topological spaces. A topology of a point set is a collection of subsets that implicitly defines whi ...
... Definition B. A separation is a non-trivial partition of the vertices, V = U ∪ W , such that no edge connects a vertex in U with a vertex in W . A simple graph G is connected if it has no separation. Topological spaces. A topology of a point set is a collection of subsets that implicitly defines whi ...
Introduction to Profinite Groups - MAT-UnB
... If X is a finite set, the discrete topology is that where all subsets of X are decreed to be open. With this topology, X is compact and Hausdorff. ...
... If X is a finite set, the discrete topology is that where all subsets of X are decreed to be open. With this topology, X is compact and Hausdorff. ...
Lecture 18: Groupoids and spaces The simplest algebraic invariant
... already a discrete topological space. If G is a groupoid, then we can ask to construct a space BG whose fundamental groupoid π≤1 BG is equivalent to G. We give such a construction in this section. More generally, for a category C we construct a space BC whose fundamental groupoid π≤1 BC is equivalen ...
... already a discrete topological space. If G is a groupoid, then we can ask to construct a space BG whose fundamental groupoid π≤1 BG is equivalent to G. We give such a construction in this section. More generally, for a category C we construct a space BC whose fundamental groupoid π≤1 BC is equivalen ...
Cell Complexes - Jeff Erickson
... We can of course generalize ∆-complexes by allowing more general shapes for each cell. For example, by replacing simplices with cubes, we obtain cube complexes; by replacing simplices with arbitrary polytopes, we obtain polytopal complexes. These more general structures still require cellular gluing ...
... We can of course generalize ∆-complexes by allowing more general shapes for each cell. For example, by replacing simplices with cubes, we obtain cube complexes; by replacing simplices with arbitrary polytopes, we obtain polytopal complexes. These more general structures still require cellular gluing ...
Jerzy DYDAK Covering maps for locally path
... Abstract. We define Peano covering maps and prove basic properties analogous to classical covers. Their domain is always locally pathconnected but the range may be an arbitrary topological space. One of characterizations of Peano covering maps is via the uniqueness of homotopy lifting property for a ...
... Abstract. We define Peano covering maps and prove basic properties analogous to classical covers. Their domain is always locally pathconnected but the range may be an arbitrary topological space. One of characterizations of Peano covering maps is via the uniqueness of homotopy lifting property for a ...
Partial Groups and Homology
... mani-fold” to “Γ- structure on a topological space”. Each Γ has a classifying space BΓ, and questions about foliations, in particular those involving different degrees of differentiability, can often be formulated in terms of their algebraic invariants. For example,the non-existence of codimension-o ...
... mani-fold” to “Γ- structure on a topological space”. Each Γ has a classifying space BΓ, and questions about foliations, in particular those involving different degrees of differentiability, can often be formulated in terms of their algebraic invariants. For example,the non-existence of codimension-o ...
Simplicial Complexes
... Proof Suppose that K is a simplicial complex. Then K contains the faces of its simplices. We must show that every point of |K| belongs to the interior of a unique simplex of K. Let x ∈ |K|. Then x belongs to the interior of a face σ of some simplex of K (since every point of a simplex belongs to the ...
... Proof Suppose that K is a simplicial complex. Then K contains the faces of its simplices. We must show that every point of |K| belongs to the interior of a unique simplex of K. Let x ∈ |K|. Then x belongs to the interior of a face σ of some simplex of K (since every point of a simplex belongs to the ...
Algebraic Topology Introduction
... Frequently quotient spaces arise as equivalence relations, as any surjective map of sets p : X → Y defines an equivalence relation on X by x1 ∼ x2 if and only if p(x1 ) = p(x2 ). In general, if R is an equivalence relation on X, then the quotient space X/R is the set of all equivalence classes of X ...
... Frequently quotient spaces arise as equivalence relations, as any surjective map of sets p : X → Y defines an equivalence relation on X by x1 ∼ x2 if and only if p(x1 ) = p(x2 ). In general, if R is an equivalence relation on X, then the quotient space X/R is the set of all equivalence classes of X ...
PDF
... Examples The long line (without initial point) is homogeneous, but it is not bihomogeneous as its self-homeomorphisms are all order-preserving. This can be considered a pathological example, as most homogeneous topological spaces encountered in practice are also bihomogeneous. Every topological grou ...
... Examples The long line (without initial point) is homogeneous, but it is not bihomogeneous as its self-homeomorphisms are all order-preserving. This can be considered a pathological example, as most homogeneous topological spaces encountered in practice are also bihomogeneous. Every topological grou ...
Homology Groups - Ohio State Computer Science and Engineering
... 1. B p ⊆ Z p ⊆ C p . 2. Both B p and Z p are also free and abelian since C p is. Homology groups. The homology groups classify the cycles in a cycle group by putting togther those cycles in the same class that differ by a boundary. From group theoretic point of view, this is done by taking the quoti ...
... 1. B p ⊆ Z p ⊆ C p . 2. Both B p and Z p are also free and abelian since C p is. Homology groups. The homology groups classify the cycles in a cycle group by putting togther those cycles in the same class that differ by a boundary. From group theoretic point of view, this is done by taking the quoti ...