(pdf)
... Two braids are considered isotopic if one may be deformed into the other in a manner such that each of the intermediate steps in this deformation yields a geometric braid. Given an arbitrary braid β, tracing along the strands, one finds that the 0 endpoints are permuted relative to the 1 endpoints. ...
... Two braids are considered isotopic if one may be deformed into the other in a manner such that each of the intermediate steps in this deformation yields a geometric braid. Given an arbitrary braid β, tracing along the strands, one finds that the 0 endpoints are permuted relative to the 1 endpoints. ...
HIGHER CATEGORIES 1. Introduction. Categories and simplicial
... 1.4.1. Category ∆. ∆ is a very important category, “the category of combinatorial simplices”. Its objects are [n] = {0, . . . , n}, considered as ordered sets. Morphisms are maps of ordered sets (preserving the order). In particular, [0] consists of one element and so is the terminal object in ∆. By ...
... 1.4.1. Category ∆. ∆ is a very important category, “the category of combinatorial simplices”. Its objects are [n] = {0, . . . , n}, considered as ordered sets. Morphisms are maps of ordered sets (preserving the order). In particular, [0] consists of one element and so is the terminal object in ∆. By ...
FUNDAMENTAL GROUPS - University of Chicago Math Department
... A subset U of X is called an open set of X if it is in the topology T of X. A closed set is defined as the complement to an open set. Intuitively, the more open sets two points both belong to, the “closer” they are. Topology is a generalization of concepts we draw from the real line, like “closeness ...
... A subset U of X is called an open set of X if it is in the topology T of X. A closed set is defined as the complement to an open set. Intuitively, the more open sets two points both belong to, the “closer” they are. Topology is a generalization of concepts we draw from the real line, like “closeness ...
Topological Extensions of Linearly Ordered Groups
... A topological space X is called locally compact if for every element x∈ X there exists open neighbourhood U ( x) such that the closure U ( x) is a compact subset of X . Proposition. Let G be a locally compact linearly ordered + with product topology is a topological topological group. Then BG inver ...
... A topological space X is called locally compact if for every element x∈ X there exists open neighbourhood U ( x) such that the closure U ( x) is a compact subset of X . Proposition. Let G be a locally compact linearly ordered + with product topology is a topological topological group. Then BG inver ...
Finite topological spaces - University of Chicago Math Department
... Characterization of finite spheres The height h(X ) of a poset X is the maximal length h of a chain x1 < · · · < xh in X . h(X ) = dim |K (X )| + 1. Barmak and Minian: ...
... Characterization of finite spheres The height h(X ) of a poset X is the maximal length h of a chain x1 < · · · < xh in X . h(X ) = dim |K (X )| + 1. Barmak and Minian: ...
Covering spaces
... discovers a necessary algebraic condition that in both cases turns out to be sufficient. This is algebraic topology par excellence. I found May’s book [3] helpful in separating the formal algebra from the topology, but I wanted to introduce the topic with less abstraction than his approach using gro ...
... discovers a necessary algebraic condition that in both cases turns out to be sufficient. This is algebraic topology par excellence. I found May’s book [3] helpful in separating the formal algebra from the topology, but I wanted to introduce the topic with less abstraction than his approach using gro ...
On the Generality of Assuming that a Family of Continuous
... In this section we give a general framework for when it is possible to assume without loss of generality that a family of complex-valued functions separates points. We begin by setting up the notations that will be used throughout, then the known results on compact Hausdorff spaces are brought toget ...
... In this section we give a general framework for when it is possible to assume without loss of generality that a family of complex-valued functions separates points. We begin by setting up the notations that will be used throughout, then the known results on compact Hausdorff spaces are brought toget ...
On resolvable spaces and groups - EMIS Home
... called -bounded if for every neighborhood U of the identity there exists a subset K X with jK j such that X = K U . It is not hard to see that every subgroup of an -bounded topological group is -bounded. The metrizable @0 -bounded groups are separable, and every @0 bounded group may be em ...
... called -bounded if for every neighborhood U of the identity there exists a subset K X with jK j such that X = K U . It is not hard to see that every subgroup of an -bounded topological group is -bounded. The metrizable @0 -bounded groups are separable, and every @0 bounded group may be em ...
Math 396. Paracompactness and local compactness 1. Motivation
... a problem at the origin (but nowhere else). Definition 2.5. A topological space X is paracompact if every open coverings admits a locally finite refinement. (It is traditional to also require paracompact spaces to be Hausdorff, as paracompactness is never used away from the Hausdorff setting, in con ...
... a problem at the origin (but nowhere else). Definition 2.5. A topological space X is paracompact if every open coverings admits a locally finite refinement. (It is traditional to also require paracompact spaces to be Hausdorff, as paracompactness is never used away from the Hausdorff setting, in con ...
Problem Farm
... an interval in Cn if and only if the sequence a1 , a2 , . . . is all zeroes or all twos starting with some index (i.e. except for finitely many terms, the sequence is all zeroes or all twos) B3. Let D be the two-point set {0, 2} with the discrete topology. Show that the Cantor ...
... an interval in Cn if and only if the sequence a1 , a2 , . . . is all zeroes or all twos starting with some index (i.e. except for finitely many terms, the sequence is all zeroes or all twos) B3. Let D be the two-point set {0, 2} with the discrete topology. Show that the Cantor ...
Quotient spaces
... (a) The quotient map π : (X, TX ) → (Y, TX,π ) is continuous. (b) The quotient topology TX/π on Y is the finest topology (see definition 2.3) for which π is continuous. Said differently, if TY is any topology on Y for which π : (X, TX ) → (Y, TY ) continuous, then TY ⊂ TX,π . (c) If f : (X, TX ) → ( ...
... (a) The quotient map π : (X, TX ) → (Y, TX,π ) is continuous. (b) The quotient topology TX/π on Y is the finest topology (see definition 2.3) for which π is continuous. Said differently, if TY is any topology on Y for which π : (X, TX ) → (Y, TY ) continuous, then TY ⊂ TX,π . (c) If f : (X, TX ) → ( ...
3. Sheaves of groups and rings.
... maps the maximal ideal in ψ ∗ (B)x = Bψ(x) to the maximal ideal in Ax for all x ∈ X. (3.10) Remark. The ringed spaces with morphism form a category, as does the locally ringed spaces with local homomorphisms. ...
... maps the maximal ideal in ψ ∗ (B)x = Bψ(x) to the maximal ideal in Ax for all x ∈ X. (3.10) Remark. The ringed spaces with morphism form a category, as does the locally ringed spaces with local homomorphisms. ...
QUOTIENT SPACES – MATH 446 Marc Culler
... Definition 2.3. Let q : X → Y be a surjective map between topological spaces. Let P be the partition of X consisting of point-inverses for q. Give P the quotient topology. Let q ∗ : Y → P be the natural bijection defined by q ∗ (y ) = q −1 (y ). If the bijection q ∗ is a homeomorphism then q is said ...
... Definition 2.3. Let q : X → Y be a surjective map between topological spaces. Let P be the partition of X consisting of point-inverses for q. Give P the quotient topology. Let q ∗ : Y → P be the natural bijection defined by q ∗ (y ) = q −1 (y ). If the bijection q ∗ is a homeomorphism then q is said ...
Nonnormality of Cech-Stone remainders of topological groups
... of a countable disjoint family of compacta. Then if G∗ is normal, it is Lindelöf. Let G denote Buzyakova’s topological group that was discussed in §1. It is a P -space and so βG is basically disconnected, [11, 6M.1], and hence an F -space, [11, 14N.4]. Countable subspaces of βG are consequently C ∗ ...
... of a countable disjoint family of compacta. Then if G∗ is normal, it is Lindelöf. Let G denote Buzyakova’s topological group that was discussed in §1. It is a P -space and so βG is basically disconnected, [11, 6M.1], and hence an F -space, [11, 14N.4]. Countable subspaces of βG are consequently C ∗ ...
Branched covers of the Riemann sphere
... an open map, by the open mapping theorem in complex analysis (or more concretely, because the map z 7→ z e is visibly open for any e). Then for any open subset U 0 ⊆ CP1 , the induced map f −1 (U 0 ) → U 0 is also open and closed. It follows that if W ⊆ f −1 (U 0 ) is a connected component, its imag ...
... an open map, by the open mapping theorem in complex analysis (or more concretely, because the map z 7→ z e is visibly open for any e). Then for any open subset U 0 ⊆ CP1 , the induced map f −1 (U 0 ) → U 0 is also open and closed. It follows that if W ⊆ f −1 (U 0 ) is a connected component, its imag ...
Topology A chapter for the Mathematics++ Lecture Notes
... carries too little information. Subspaces. The topological spaces encountered most often in applications, as well as in a substantial part of topology itself, are subspaces of some Rn with the standard topology (i.e., the one induced by the Euclidean metric), or are at least homeomorphic to such sub ...
... carries too little information. Subspaces. The topological spaces encountered most often in applications, as well as in a substantial part of topology itself, are subspaces of some Rn with the standard topology (i.e., the one induced by the Euclidean metric), or are at least homeomorphic to such sub ...
Splitting of the Identity Component in Locally Compact Abelian Groups
... x QR/ZY' for some n&No and cardinal number m, and likewise these are exactly the connected LCA groups splitting in every LCA group in which they are contained as identity components (compare Ahem-Jewitt [1], Dixmier[2] and Fulp-GrifSth [4]). It is weU known that this statement remains true if «L(3A ...
... x QR/ZY' for some n&No and cardinal number m, and likewise these are exactly the connected LCA groups splitting in every LCA group in which they are contained as identity components (compare Ahem-Jewitt [1], Dixmier[2] and Fulp-GrifSth [4]). It is weU known that this statement remains true if «L(3A ...
Fuglede
... holomorphic function of one or more complex variables. A simple concrete example of an admissible Riemannian polyhedron (without boundary) which is not a pseudomanifold is produced by attaching a flat n-ball along an equatorial (n − 1)-sphere of the standard Euclidean n-sphere (n > 1). The aim of th ...
... holomorphic function of one or more complex variables. A simple concrete example of an admissible Riemannian polyhedron (without boundary) which is not a pseudomanifold is produced by attaching a flat n-ball along an equatorial (n − 1)-sphere of the standard Euclidean n-sphere (n > 1). The aim of th ...
first four chapters - Jesse Johnson`s Website
... by saying that a manifold M is closed if ∂M = ∅. We can also build manifolds with boundary by direct products. 12. Lemma. If M is an m-manifold with boundary and N is an nmanifold with boundary then M ×N is an (m+n)-manifold with boundary and the boundary is ∂(M × N ) = (∂M × N ) ∪ (∂N × M ). The pr ...
... by saying that a manifold M is closed if ∂M = ∅. We can also build manifolds with boundary by direct products. 12. Lemma. If M is an m-manifold with boundary and N is an nmanifold with boundary then M ×N is an (m+n)-manifold with boundary and the boundary is ∂(M × N ) = (∂M × N ) ∪ (∂N × M ). The pr ...
Simplicial sets
... 1.1. Simplices and simplicial complexes 1.1.1. Simplices. A set of points x0 , x1 , . . . , xn in a euclidean space is affinely independent if the vectors x1 − x0 , . . . , xn − x0 form a linearly independent set. A simplex, or a geometric simplex, is the convex hull of an affinely independent set o ...
... 1.1. Simplices and simplicial complexes 1.1.1. Simplices. A set of points x0 , x1 , . . . , xn in a euclidean space is affinely independent if the vectors x1 − x0 , . . . , xn − x0 form a linearly independent set. A simplex, or a geometric simplex, is the convex hull of an affinely independent set o ...
Metric Spaces and Topology M2PM5 - Spring 2011 Solutions Sheet
... (ii) Assume that there exists such a sequence, and let S = {xn | n ∈ N} ⊆ X be the set of its members. Then, since S is closed, it is compact (closed subsets of compact sets are compact). Let B/2 (xn ), n ∈ N, be the sequence of balls of radius /2 and centres xn . Notice that, by the assumption on ...
... (ii) Assume that there exists such a sequence, and let S = {xn | n ∈ N} ⊆ X be the set of its members. Then, since S is closed, it is compact (closed subsets of compact sets are compact). Let B/2 (xn ), n ∈ N, be the sequence of balls of radius /2 and centres xn . Notice that, by the assumption on ...
Chapter 5 Homotopy Theory
... • An edge path in a simplicial complex K is a sequence of vertices v0 v1 · · · vk , such that each consecutive pair vi vi+1 is either a 0-simplex or a 1-simplex. • An edge path is an edge loop at v0 if v0 = vk . • Two edge loops are equivalent if one is obtained from another by the following operati ...
... • An edge path in a simplicial complex K is a sequence of vertices v0 v1 · · · vk , such that each consecutive pair vi vi+1 is either a 0-simplex or a 1-simplex. • An edge path is an edge loop at v0 if v0 = vk . • Two edge loops are equivalent if one is obtained from another by the following operati ...
Examples of random groups - Irma
... Remark 3.8 (Homogeneity of γ and D). By rescaling, the functions γ and D are determined by their values at δ = 1. For instance, one can choose Dx (α, xβ) = xD1 (α, β). 3.2. Hyperbolic groups: the very small cancellation theorem. A group G is hyperbolic if there exists a discrete cocompact action of ...
... Remark 3.8 (Homogeneity of γ and D). By rescaling, the functions γ and D are determined by their values at δ = 1. For instance, one can choose Dx (α, xβ) = xD1 (α, β). 3.2. Hyperbolic groups: the very small cancellation theorem. A group G is hyperbolic if there exists a discrete cocompact action of ...
free topological groups with no small subgroups
... (i) (J C V and (ii) U2 , C U , tot n £ N. By Theorem 8.2 of [6], these sets ...
... (i) (J C V and (ii) U2 , C U , tot n £ N. By Theorem 8.2 of [6], these sets ...
(Week 8: two classes) (5) A scheme is locally noetherian if there is
... (7) A morphism f : X → Y is a finite morphism if there is an open covering {SpecBi } of Y , for each i, f −1 SpecBi is isomorphic to SpecAi where Ai is a Bi -algebra which is a finitely generated Bi -module. In the definition of (locally) of finite type and finite, we can require the given propertie ...
... (7) A morphism f : X → Y is a finite morphism if there is an open covering {SpecBi } of Y , for each i, f −1 SpecBi is isomorphic to SpecAi where Ai is a Bi -algebra which is a finitely generated Bi -module. In the definition of (locally) of finite type and finite, we can require the given propertie ...