Lecture notes for Topology MMA100
|
|
- Rodger Cole
- 6 years ago
- Views:
Transcription
1 Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine hyper-) plane of least dimension containing them has dimension n. Synonymously, the points are in general or generic position. This is equivalent to v 1 v 0, v 2 v 0,..., v n v 0 being linearly independent vectors (or similarly with any v i replacing v 0 ). Thus e.g. four points in R 3 can be in generic position (but not five). Another way to express genericity is to say that t i v i = 0, where t i are scalars with t i = 0, only if all t i = 0. Yet another criterion is to use the embedding R N R N+1 given by adding the scalar 1 as a first coordinate: x (1, x). Then v 0, v 1,..., v n are in generic position iff (1, v 0 ), (1, v 1 ),..., (1, v n ) are linearly independent vectors. v 3 v 0 v 1 v 2 Figure 1: Four points in R 3 in general position Obviously, if v 0, v 1,..., v n are linearly independent as vectors they are also affinely independent as points (considering vectors as position vectors for points). An point p is an affine combination of the points v 0, v 1,..., v n if p = t i v i, where t i = 1. If the points are in generic position, the affine coordinates t i are uniquely determined by p. The (n-dimensional) plane spanned by points v 0, v 1,..., v n consists of all affine combinations of them. E.g. the (two-dimensional) plane spanned by three points v 0, v 1, v 2 in R 3 consist of all points x = t 0 v 0 + t 1 v 1 + t 2 v 2, with t 0 + t 1 + t 2 = 1, or differently put: x = v 0 + t 1 (v 1 v 0 ) + t 2 (v 2 v 0 ), with no condition on the scalars. This is a standard parametric equation for the plane. 1.2 Convex closure As you know a subset of R N is convex if whenever it contains two points p and q it contains the whole line segment between them. This is parametrized by (1 s)p + sq, where s [0, 1]. It follows directly that the intersection of any number of convex sets is again convex. Consequently, for any subset A R N there is a smallest convex set containing it: the intersection of all convex sets containing it. This is the convex closure, co(a) of A. An affine combination t i p i of points p 0, p 1,..., p n in R N, is a convex combination if all t i [0, 1] (in addition to t i = 1). An easy induction on n shows that if a 0, a 1,..., a n are points in A, and C is a convex set containing A, then any convex combination of the points is again in C. In particular the applies to C = co(a). It s equally easy to see that if p and q are convex combinations of points in A, then so is any (1 s)p + sq, where s [0, 1]. Thus, co(a) can be described intrinsically as the set of all convex combinations of points in A. 1
2 1.3 Simplexes An n-simplex in R N, denoted σ n = σ, is the convex closure of a set of n + 1 points v 0, v 1,..., v n R N in generic position. It will be denoted by v 0, v 1,..., v n, a notation that will (hopefully) only be used under the proviso that the points are affinely independent. It s natural to ask if v 0, v 1,..., v n = w 0, w 1,..., w m is possible without n = m and w 0, w 1,... w n being some reordering of v 0, v 1,..., v n. The answer is no, as will be demonstrated later on. To wit, a simplex is the convex closure of exactly one set of affinely independent points. This observation makes it clear the vertexes can be used to define properties and derive concepts of simplexes, as is done bellow. Thus σ consist of all points p that can be (uniquely) expressed as p = t i v i, where t i = 1 and all t 1 [0, 1]. In this connection the scalars t i are called the barycentric coordinates of p and the v i :s are vertexes of σ. The dimension of σ is one less than the number of vertexes, and is thus the same as the dimension of the smallest (affine hyper) plane containing them. A simplex of dimension 0 is hence the same as a single vertex (or point). We allow the set of vertexes to be empty, so that the empty set,, is simplex of dimension 1. The barycenter of σ, or the center of gravity, is the point 1 n + 1 (v 0 + v v n ) = 1 n + 1 v n + 1 v n + 1 v n σ. Any (proper) subset of the vertexes spans a simplex τ which is a (proper) face of σ, written τ σ (or τ < σ). The boundary of a simplex σ, denoted by σ, is the union of all its proper faces. In terms of convex combinations it consists of all such t i v i, where at least one coordinate is 0. Beware that this is generally not the topological boundary of σ as a subset of some R N. The interior σ of a simplex σ is σ σ. This is the set of all t i v i, where all t i > 0. This is generally not the same as the interior of σ in a containing Euclidean space. Lemma 1.1 A simplex of dimension > 0 is (homeomorphic to) the cone on its boundary. Proof Let σ = v 0, v 1,..., v n denote the simplex and b its barycenter. Define f : σ I σ by f(p, t) = (1 t)p+tb. The target is correct by the convexity of σ and f is continuous since it is the restriction of the continuous map R N I R N, given by the same formula. Obviously, f maps the top of the cylinder on σ to b. The usual compact-hausdorff argument gives that, in order to prove that f induces a homeomorphism C( σ) = σ, we are left with checking that f restricts to a bijection σ [0, 1) σ {b}. v 0 t σ p b v 3 q v 1 v 2 Figure 2: Polar coordinates for q First note that if q b is a point in σ and q = tb + (1 t)p, where 0 t < 1 and p σ, then t/(n + 1) is the minimal barycentric coordinate of q, as some coordinate of p is 0. This shows the uniqueness of t and hence of p, so the restriction of f is injective. On the other hand with q as above, let t < 1/(n + 1) be the minimal barycentric coordinate of q. Write ˆt = (n + 1) t < 1. Then q = (n + 1) tb + i (t i t )v i = ˆtb + (1 ˆt ) i t i t 1 ˆt v i = ˆtb + (1 ˆt )p. Notice that the sum of the barycentric coordinates of p is 1, and that at least one of them is 0, so p is a point in σ. Hence the restriction of f is surjective. If q σ is q = tp + (1 t)b, with p σ and 0 t 1, then (t, p) are the polar coordinates for q. They are unique, with the exception that (0, p) corresponds to b for any p σ The standard n-simplex n in R n+1 is the convex closure of the standard basis of R n+1, which in this connection is enumerated e 0, e 1,..., e n. Explicitly, this e e 1 e 0 Figure 3: The standard 2- simplex sits in R 3
3 means that n = {(t 0, t 1,..., t n ) t i = 1 and t i [0, 1], for all i}. Lemma 1.2 An n-simplex is homeomorphic to the standard n-simplex hence compact. Proof Define f : n v 0, v 1,..., v n by f(t) = t i v i. Then f is continuous. In fact, if v 0, v 1,... v n R m the same formula gives a continuous function R n+1 R m. The map f is obviously a bijection, n compact and v 0, v 1,..., v n Hausdorff, so f is a homeomorphism. Lemma 1.3 An n-simplex (n 1) is homeomorphic to the cone on any of its n 1-dimensional faces. Proof Let σ be an n+1-simplex with vertexes v 0, v 1,..., v n and τ the face with the same vertexes except v n. Define a map f : τ I σ by f(p, t) = (1 t)p + tv n. It s injective, by uniqueness of barycentric coordinates, with the exception that f(p, 1) = e n, for all p. All we need to check to see that f induces a homeomorphism on from the cone on τ to σ is the surjectivity of f : τ [0, 1) σ {v n }. If q = t i v i σ and p v n, i.e. t n 1, then q = t n v n + (1 t n ) i n t i 1 t n v i = t n v n + (1 t n )p. Notice that the (positive!) barycentric coordinates of p has sum 1 and at least one is 0. Thus p τ and f(p, t n ) = q. Lemma 1.4 An n-simplex is homeomorphic to an n-disk by a homeomorphism respecting the boundaries of the two spaces. Proof It s enough to show this for the standard n-simplex n. This simplex is the graph of the map f : T n R, f(t 0,..., t n 1 ) = 1 Σ i t i over the set T n R n consisting of those t R n with each coordinate t i [0, 1] and Σ i t i 1. Thus n is homeomorphic to T n. Write t s = Σ i t i and t m = max(t 0,..., t n 1 ) Define g : T n I n by g(t) = ( t s / t m )t. It s obviously continuous except possibly at t = 0. But g(t) m = t s 0, as t tends to 0. The map g is easily checked to be a homeomorphism (with inverse g 1 (p) = ( p m / p s )p). Now, I n is homeomorphic to [ 1, 1] n which in turn is homeomorphic to D n by the usual normalization. Notice that the homeomorphism n D n restricts to a homeomorphism δ n = δd n = S n 1. Suppose you have a set A in R N which you some how know to be a simplex. How do you determine it s vertexes? Are they indeed uniquely 1determined by the set A itself? Lemma 1.5 A point p in a simplex is a vertex exactly when every line through it intersects the simplex in a subset of the line having p as a boundary point. Proof Let p be a point of the simplex. The intersection of all faces (with respect to some choice of vertexes) containing p is the minimal face containing p. Suppose this is v 0, v 1,..., v n and p = t i v i where all t i > 0 by minimality. Suppose t 0 < 1, then p = t 0 v 0 + (1 t 0 ) i>0 t i 1 t 0 v i = t 0 v 0 + (1 t 0 )q, where the sum, call it q, is a convex combination of vertexes and hence in the simplex. Thus the line trough p and q intersects the simplex in a line segment containing v 0 and q with p in between. Thus if p satisfies the criterion of the lemma t 0 has to be 1 and p = v 0. 3
4 On the other hand let v 0 be one of he chosen vertexes and suppose a line intersects the simplex in another point p = t i v i. The line through v 0 and p is parametrized by (1 s)v 0 + s t i v i = (1 s(1 t 0 ))v 0 + st i v i, i>0 which is an affine combinations of the vertexes for any real s. In order for this to be a convex combination (and hence a point of the simplex) we need 0 1 s(1 t 0 ) 1 Figure 4: for vertex Testing and 0 st i 1, for all 1 i. This implies s 0, so v 0 is a boundary point for the intersecting line segment. 1.4 Simplicial Complexes A (geometric) simplicial complex in R N is a collection K of simplexes (in R N ) such that 1. if σ is in K, so is any of its faces, 2. if σ and τ are in K, then σ τ is a face of both σ and τ (which might be the empty simplex). In this course all simplicial complexes will be finite (i.e. K is a finite collection). A subcomplex L of K, L K, is a subset closed under taking faces. For example let n be a positive integer and let K (n) be the sub-collection of K consisting of all simplexes in K of dimension n. Then K (n) is a subcomplex of K, called the n-skeleton of K. The dimension, dimk, of K is the largest dimension of the simplexes in K. If σ is a simplex of K, let K σ be the collection of all faces of σ. Then K σ is a subcomplex of K. It might seem a bit odd to require 1), but it makes it easy to define the notion of subcomplex. A simplex in K is a facet if it is not a proper face of any other simplex of K. The facet obviously determines the rest of K by taking faces. One way to specify a simplicial complex is to pinpoint some simplexes (facets) that pairwise intersect in common faces. Taking all the faces of the facets, to satisfy 1), then defines a simplicial complex. Indeed, 2) follows from the proper intersection of facets, since faces of a fixed simplex always intersect in a common face. The set of zero dimensional simplexes in K is the set of vertexes of K and we denote it by V (K). The polyhedron K defined by K, or underlying K, is the union of all simplexes in K : K = σ R N. σ K Notice that K is a subset of R N, as opposed to K which is a collection of subsets K. Obviously the polyhedron can equally be described as the union of all facets of K. The polyhedron is compact since it is a finite union of (compact) simplexes. In general a subset of R N is a polyhedron if it is K for some simplicial complex K. In this case K is a triangulation of the polyhedron. Different simplicial complexes can very well have the same underlying polyhedron. In this case we say that they are different triangulations of the same space. Intersecting all simplexes containing a point x in the polyhedron of K, we see that there is a unique smallest simplex containing it. It s called the carrier of x, and we denote it by carr(x) K. Obviously, x carr(x), so x is an interior point of its carrier. An alternative characterization of carr(x) is that it is the unique simplex with x in its interior. We have a function carr : K K. 1.5 Subdivision In this section we will denote the barycenter of a simplex σ by ˆσ = i 1 n + 1 v i σ. 4
5 A simplicial complex L is a subdivision of K if L = K and every simplex of L is contained in a simplex of K. This is (sometimes) written L K. In this situation, let p be a point in L = K. Then its carrier with respect to L, carr L (p) is contained in a smallest simplex µ of K. If carr L (p) = u 0,..., u m then p = i s iu i, for some 0 < s i < 1. Each u i is in µ = v 0,... v n, so u i = j t ijv j, some 0 t ij 1, where for each j at least one t ij 0, since otherwise carr L (P ) would be cotained in a proper face of µ. This gives p = j ( i s it ij )v j where each coefficient of the vertexes is > 0. Thus carr L (p) µ = carr K (p). A consequence of this is that any simplex in K is a union of simplexes in L. Indeed, take a point p in σ K. Then carr L (p) carr K (p) σ. Note that if L K and K is a subcomplex of K, then the set of simplexes in L contained in simplexes of K is a subcomplex L of L with L K. Lemma 1.6 Suppose K is a subcomplex of K and L a subdivision of K. Then there is a subdivision L of K containing L as a subcomplex. Put differently: A subdivision of a subcomplex can be extended to a subdivision of the total complex. Proof By induction on the number of simplexes in K K. Let σ be a simplex of lowest dimension in K K. Then the faces of σ is a subcomplex K σ of K corresponding to a certain subcomplex L σ of L which is a subdivision of K σ. It suffices to show that there is a subdivision of K σ extending L σ. For each simplex ν of L σ we let νˆσ which is the simplex spanned by the vertexes of ν and the barycenter ˆσ of σ. The case when ν = gives the 0-simplex ˆσ. Obviously νˆσ σ and by polar coordinates σ = ν νˆσ. Also, as a consequence of the essential uniqueness of these coordinates ν 1ˆσ ν 2ˆσ = (ν 1 ν 2 )ˆσ and ν 1 (ν 2ˆσ) = ν 1 ν 2. This shows that the collection L σ = {ν ν L σ } {νˆσ ν L σ } is a simplicial complex which is a subdivision of K σ extending L σ. Figure 5: Extending a subdivision Then L L σ is a subdivision of K {σ} extending L. Proceeding by induction we get a subdivision L of K extending L. Now, let K be a simplicial complex. If σ 0 < σ 1 <... < σ n is a sequence of faces of a simples σ n in K, then the barycenters ˆσ 0, ˆσ 1,... ˆσ n are affinely independent and hence spans a simplex ˆσ 0, ˆσ 1,... ˆσ n σ. Let sdk be the collection of all these for all such sequences of faces of simplexes in K. Using the construction in the poof above it follows (by induction) on that sdk is a simplicial complex which is a subdivision of K. It s called the barycentric subdivision of K. This process can be repeated and we let sd r K denote the r:th barycentric subdivision of K, which we get by subdividing successively r times. ˆσ 3 σ 1 ˆσ 1 σ 3 ˆσ 0 σ 0 Figure 6: The sequence σ 0 < σ 1 < σ 2 determines a 2-simplex in sdk We will see that the diameter of the simplexes in sdk is smaller than the diameter of the simplexes in K in a uniform way. To do this we first need a few observations: Lemma 1.7 The diameter of a simplex is the maximal distance between its vertexes. Proof. Let σ = v 0, v 1,..., v n be an n-simplex and suppose x = t i v i σ. Denote max{d(v i, v j ) 0 i, j n} by d. Then, for any vertex v i0 x v i0 = t i (v i v i0) t i d = d. Now, suppose y = s i v i σ. Then, by the above, x y = s i (x v i ) s i d = d. 5
6 Definition 1.1 The mesh of a simplicial complex is the maximum of the diameters of its simplexes: mesh(k) = max{diam(σ) σ K}. Lemma 1.8 For any n-simplex σ the distance from its barycenter ˆσ to any other point in σ is nd/(n + 1), where d is the diameter of σ Proof Let v 0, v 1,..., v n be the vertexes of σ. then ˆσ v i = 1 n n + 1 (v j v i ) nd n + 1 as v j v i = 0, when j = i. Now, suppose y = s i v i σ. Then, j=0 ˆσ y = s i (ˆσ v i ) nd s i n + 1 = nd n + 1. Lemma 1.9 Suppose σ 0 < σ 1 <... < σ n and d is the diameter of σ n, which has dimension m, then the diameter of ˆσ 0, ˆσ 1,..., ˆσ n is md/(m + 1) Proof By induction ˆσ 0, ˆσ 1,..., ˆσ n 1 has diameter m d /(m + 1), where m is the dimension of σ n 1 and d is the diameter. Note that m /(m + 1) = 1 1/(m + 1) m/(m + 1), since m > m, and d d, so m d /(m + 1) md/(m + 1). Taking the previous lemma in to account the distance between any two vertexes of ˆσ 0, ˆσ 1,..., ˆσ n is md/(m + 1), so the simplex has diameter md/(m + 1). It now follows that mesh(sdk) N N + 1 mesh(k), where N is the maximal dimension of a simplex of K. This is the same as the maximal dimension of a simplex of sdk, so which approaches 0 as r tends to infinity. mesh(sd r K) ( N ) rmesh(k) N Simplicial Maps Let K and L be two simplicial complexes. A map f : K L is simplicial if 1. it maps vertexes to vertexes, 2. if v 0, v 1,..., v n K the (the not necessarily different) vertexes f(v 0 ), f(v 1 ),..., f(v n ) are vertexes of a simplex of L 3. when restricted to a simplex f is affine, i.e., f( i t i v i ) = i t i f(v i ). It s usual to denote simplicial maps by f : K L (i.e. without the decorations for the polyhedrons). Thus a simplicial map is completely determined by its restriction to the set of vertexes. Conversely any map f : V (K) V (L) satisfying (2) gives a simplicial map f : K L, by turning (3) into a definition. 6
7 Definition 2.1 A simplicial approximation to a map f : K L is a simplicial map g : K L, such that g(x) carr(f(x)), for each x K The last condition is equivalent to: any simplex containing f(x) also contains g(x). It s not true that any map has a simplicial approximation. We will prove, though, that it has after an iterated subdivision of K. If f restricts to a map f : K L, where K and L are subcomplexes of K and L respectively, then for each point x K the carrier of f(x) will be in L. Thus g(x) is in L and g : K L is a simplicial approximation to f. Theorem 2.1 If g is a simplicial approximation to f, then f g. Proof Define a map F : K I R N, where R N is a euclidean space containing L, by F (x, t) = (1 t)f(x) + tg(x). We note that the image of this map is in L since for any x there is a simplex of L containing both f(x) and g(x). Definition 2.2 For a vertex v of a simplicial complex K define the open star of v as st(v) = {x K v carr(x)} Alternatively, it s the union of the interiors of all simplexes containing v as a vertex. The complement of st(v) is the union of the simplexes not having v as a vertex, and so is a closed subset of K (being the union of a finite number of compact simplexes). Obviously, the open stars of all vertexes of K forms an open cover of K. Lemma 2.1 Suppose that v 0, v 1,..., v n are vertexes of a simplicial complex K, then n v 0, v 1,..., v n K st(v i ). Proof Assume that σ = v 0, v 1,..., v n K then ˆσ st(v i ) for i = 0, 1,..., n. Thus the intersection is non-empty. Assume that x n i=0 st(v i), then each v i is a vertex of carr(x), so v 0, v 1,..., v n is a face of carr(x) and thus a simplex of K. i=0 Figure 7: Open star of two vertexes Theorem 2.2 Suppose f : K L is a map where K and L are simplicial complexes. Then there is an integer r 0, such that f has a simplicial approximation g : sd r K L. Proof The open cover f 1 (st(v)), v V (L) of the compact metric space K has a Lebesgue s number δ > 0. We can choose r so that mesh(sd r K) δ/2. Then each simplex of K = sd r K has diameter less than δ/2. A consequence of this is that for any vertex w of K the open star st(w) has diameter less than δ. This, in turns, tells us that there is a vertex v of L such that f(st(w)) st(v). Let g(w) be a choice of such a v. Now, suppose that w 0, w 1,..., w n are the vertexes of a simplex of K. Then = f( i st(w i )) i st(g(w i )) so g(w 0 ), g(w 1 ),..., g(w n ) are vertexes of a simplex of L. Hence g defines a simplicial map K L. Finally, suppose that w 0, w 1,..., w n are the vertexes of the carrier of x. Then x i st(w i). Applying f we get f(x) f( st(w i )) f(st(w i )) st(g(w i )) i i i Hence each vertex g(w i ) is in the carrier of f(x). As the carrier of g(x) is the simplex spanned by the g(w i ) we get carr(g(x)) carr(f(x)), for each x K and g is a simplicial approximation to f. 7
8 3 Consequences of simplicial approximation A space X is triangulable if it is homeomorphic to K for some simplicial complex K. A specific choice of such a K and homeomorphism f : X = K gives a triangulation of X. For example the n-sphere s n is triangulable since it is homeomorphic to n = K σ, where K σ is the simplicial complex of all proper faces of the standard simplex n. It s a theorem that all smooth manifolds (not defined in this course), which are the fundamental objects of study in differential geometry are triangulable. Thus triangulable spaces exists in abundance. Theorem 3.1 The set of homotopy classes of maps between two triangulable spaces is countable. Proof It suffices to show that the set of homotopy classes of maps K L is countable for any two simplicial complexes K and L. We know that any map K L is homotopic to a simplicial map K L, where K is some iterated barycentric subdivision of K. Now there is only a finite number of such map for any K, but a countable collection of iterated barycentric subdivisions of K. Theorem 3.2 The inclusion of the 2-skeleton i : K (2) K induces an isomorphism on fundamental groups for any simplicial complex K. Proof The space I is the polyhedron of a simplicial complex with two vertexes and one 1-simplex. Any path-component of K contains a vertex v, so we can consider loops at this point in K. Any such loop ω : I K then maps the subcomplex consisting of 0 and 1 to the subcomplex of K consisting of just the vertex v. Iterated barycentric subdivision of I means introduction of (equidistant) points in I. Thus ω is homotopic to a map ω : I K which is simplicial. As ω maps the subcomplex consisting of 0 and 1 to the subcomplex consisting of v the so will ω. The usual homotopy between ω and ω is therefore stationary on the endpoints of I. Thus ω and ω are in fact path-homotopic. As the image of ω is contained in K (1), this shows that i induces a surjection i : π 1 ( K (2), v) π 1 ( K, v). To show injectivity, consider I 2 as the polyhedron of the simplicial complex having the vertexes v 0 = (0, 0), v 1 = (1, 0), v 2 = (1, 1) and v 3 = (0, 1), the 1-simplexes v 0, v 1, v 1, v 2, v 1, v 2 and v 2, v 3, and the 2-simplexes v 0, v 1, v 2 and v 0, v 2, v 3. It has a subcomplex J consisting of the faces of the 1-simplexes v 0, v 1, v 1, v 2, v 2, v 3, and v 1, v 3. Now suppose that α, β : I K (2) are loops at the vertex v, which are path-homotopic in K. Let F : I 2 K be a path-homotopy between α and β in K. It s restriction to J has image in K (2) and its restriction to J is constant (with value v). Thus if F : I 2 K is a simplicial approximation to F after some subdivision of I 2, the same is true for F. Even more importantly, the image of F has image in K (2), since it s simplicial. From this is follows that α (t) = F (t, 0) and β (t) = F (t, 1) are a simplicial approximation to α and β in K (2). The new paths α and β are in fact path-homotopic (in K (2) ) to α and β, respectively. As F is a path homotopy α β (in K (2) ) we get (in K (2) ) α α β β, so i is injective. Corollary 3.1 The n-sphere S n is simply connected if n 2. Proof S n is homeomorphic to the polyhedron n. When n 2 n and n has the same 2-skeletons. Hence the fundamental group of S n is isomorphic to the fundamental group of n = D n, which is trivial since D n is homotopy equivalent to a point. 8
Simplicial Complexes: Second Lecture
Simplicial Complexes: Second Lecture 4 Nov, 2010 1 Overview Today we have two main goals: Prove that every continuous map between triangulable spaces can be approximated by a simplicial map. To do this,
More informationSimplicial Objects and Homotopy Groups. J. Wu
Simplicial Objects and Homotopy Groups J. Wu Department of Mathematics, National University of Singapore, Singapore E-mail address: matwuj@nus.edu.sg URL: www.math.nus.edu.sg/~matwujie Partially supported
More information4. Simplicial Complexes and Simplicial Homology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n
More informationLecture 5: Simplicial Complex
Lecture 5: Simplicial Complex 2-Manifolds, Simplex and Simplicial Complex Scribed by: Lei Wang First part of this lecture finishes 2-Manifolds. Rest part of this lecture talks about simplicial complex.
More informationBasics of Combinatorial Topology
Chapter 7 Basics of Combinatorial Topology 7.1 Simplicial and Polyhedral Complexes In order to study and manipulate complex shapes it is convenient to discretize these shapes and to view them as the union
More informationLecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More information4. Definition: topological space, open set, topology, trivial topology, discrete topology.
Topology Summary Note to the reader. If a statement is marked with [Not proved in the lecture], then the statement was stated but not proved in the lecture. Of course, you don t need to know the proof.
More informationCell-Like Maps (Lecture 5)
Cell-Like Maps (Lecture 5) September 15, 2014 In the last two lectures, we discussed the notion of a simple homotopy equivalences between finite CW complexes. A priori, the question of whether or not a
More informationTHREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.
THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of
More informationLecture 5 CLASSIFICATION OF SURFACES
Lecture 5 CLASSIFICATION OF SURFACES In this lecture, we present the topological classification of surfaces. This will be done by a combinatorial argument imitating Morse theory and will make use of the
More informationFinal Exam, F11PE Solutions, Topology, Autumn 2011
Final Exam, F11PE Solutions, Topology, Autumn 2011 Question 1 (i) Given a metric space (X, d), define what it means for a set to be open in the associated metric topology. Solution: A set U X is open if,
More informationSimplicial Hyperbolic Surfaces
Simplicial Hyperbolic Surfaces Talk by Ken Bromberg August 21, 2007 1-Lipschitz Surfaces- In this lecture we will discuss geometrically meaningful ways of mapping a surface S into a hyperbolic manifold
More informationPlanar Graphs. 1 Graphs and maps. 1.1 Planarity and duality
Planar Graphs In the first half of this book, we consider mostly planar graphs and their geometric representations, mostly in the plane. We start with a survey of basic results on planar graphs. This chapter
More informationHowever, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).
98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating
More informationCombinatorics I (Lecture 36)
Combinatorics I (Lecture 36) February 18, 2015 Our goal in this lecture (and the next) is to carry out the combinatorial steps in the proof of the main theorem of Part III. We begin by recalling some notation
More informationM3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements.
M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements. Chapter 1: Metric spaces and convergence. (1.1) Recall the standard distance function
More informationElementary Combinatorial Topology
Elementary Combinatorial Topology Frédéric Meunier Université Paris Est, CERMICS, Ecole des Ponts Paristech, 6-8 avenue Blaise Pascal, 77455 Marne-la-Vallée Cedex E-mail address: frederic.meunier@cermics.enpc.fr
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More informationManifolds. Chapter X. 44. Locally Euclidean Spaces
Chapter X Manifolds 44. Locally Euclidean Spaces 44 1. Definition of Locally Euclidean Space Let n be a non-negative integer. A topological space X is called a locally Euclidean space of dimension n if
More information751 Problem Set I JWR. Due Sep 28, 2004
751 Problem Set I JWR Due Sep 28, 2004 Exercise 1. For any space X define an equivalence relation by x y iff here is a path γ : I X with γ(0) = x and γ(1) = y. The equivalence classes are called the path
More informationReferences: Hatcher is our text. Lee1 means Lee s Intro to Topological Manifolds. Lee2 means Lee s Intro to Smooth Manifolds.
Lecture on CW-complexes References: Hatcher is our text. Lee1 means Lee s Intro to Topological Manifolds. Lee2 means Lee s Intro to Smooth Manifolds. 1 Discs and spheres Disks and spheres are the basic
More informationLecture 11 COVERING SPACES
Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics SIMPLIFYING TRIANGULATIONS OF S 3 Aleksandar Mijatović Volume 208 No. 2 February 2003 PACIFIC JOURNAL OF MATHEMATICS Vol. 208, No. 2, 2003 SIMPLIFYING TRIANGULATIONS OF S
More informationarxiv: v1 [math.co] 12 Aug 2018
CONVEX UNION REPRESENTABILITY AND CONVEX CODES R. AMZI JEFFS AND ISABELLA NOVIK arxiv:1808.03992v1 [math.co] 12 Aug 2018 Abstract. We introduce and investigate d-convex union representable complexes: the
More informationSurfaces Beyond Classification
Chapter XII Surfaces Beyond Classification In most of the textbooks which present topological classification of compact surfaces the classification is the top result. However the topology of 2- manifolds
More informationTOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.
TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead
More informationPoint-Set Topology II
Point-Set Topology II Charles Staats September 14, 2010 1 More on Quotients Universal Property of Quotients. Let X be a topological space with equivalence relation. Suppose that f : X Y is continuous and
More informationLectures on topology. S. K. Lando
Lectures on topology S. K. Lando Contents 1 Reminder 2 1.1 Topological spaces and continuous mappings.......... 3 1.2 Examples............................. 4 1.3 Properties of topological spaces.................
More informationElements of Combinatorial Topology
Elements of Combinatorial Topology Companion slides for Distributed Computing Through Maurice Herlihy & Dmitry Kozlov & Sergio Rajsbaum 1 Road Map Simplicial Complexes Standard Constructions Carrier Maps
More informationMATH 890 HOMEWORK 2 DAVID MEREDITH
MATH 890 HOMEWORK 2 DAVID MEREDITH (1) Suppose P and Q are polyhedra. Then P Q is a polyhedron. Moreover if P and Q are polytopes then P Q is a polytope. The facets of P Q are either F Q where F is a facet
More informationTopology notes. Basic Definitions and Properties.
Topology notes. Basic Definitions and Properties. Intuitively, a topological space consists of a set of points and a collection of special sets called open sets that provide information on how these points
More informationThe Borsuk-Ulam theorem- A Combinatorial Proof
The Borsuk-Ulam theorem- A Combinatorial Proof Shreejit Bandyopadhyay April 14, 2015 1 Introduction The Borsuk-Ulam theorem is perhaps among the results in algebraic topology having the greatest number
More informationNotes on metric spaces and topology. Math 309: Topics in geometry. Dale Rolfsen. University of British Columbia
Notes on metric spaces and topology Math 309: Topics in geometry Dale Rolfsen University of British Columbia Let X be a set; we ll generally refer to its elements as points. A distance function, or metric
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationGeometric structures on 2-orbifolds
Geometric structures on 2-orbifolds Section 1: Manifolds and differentiable structures S. Choi Department of Mathematical Science KAIST, Daejeon, South Korea 2010 Fall, Lectures at KAIST S. Choi (KAIST)
More informationFAST POINT LOCATION, RAY SHOOTING AND INTERSECTION TEST FOR 3D NEF POLYHEDRA
FAST POINT LOCATION, RAY SHOOTING AND INTERSECTION TEST FOR 3D NEF POLYHEDRA MIGUEL A. GRANADOS VELÁSQUEZ EAFIT UNIVERSITY ENGINEERING SCHOOL COMPUTER SCIENCE DEPARTMENT MEDELLÍN 2004 FAST POINT LOCATION,
More informationLecture 17: Continuous Functions
Lecture 17: Continuous Functions 1 Continuous Functions Let (X, T X ) and (Y, T Y ) be topological spaces. Definition 1.1 (Continuous Function). A function f : X Y is said to be continuous if the inverse
More informationReflection groups 4. Mike Davis. May 19, Sao Paulo
Reflection groups 4 Mike Davis Sao Paulo May 19, 2014 https://people.math.osu.edu/davis.12/slides.html 1 2 Exotic fundamental gps Nonsmoothable aspherical manifolds 3 Let (W, S) be a Coxeter system. S
More informationThe Cyclic Cycle Complex of a Surface
The Cyclic Cycle Complex of a Surface Allen Hatcher A recent paper [BBM] by Bestvina, Bux, and Margalit contains a construction of a cell complex that gives a combinatorial model for the collection of
More informationCategories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces. J.P. May
Categories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces J.P. May November 10, 2008 K(,1) Groups i Cats π 1 N Spaces S Simp. Sets Sd Reg. Simp. Sets Sd 2 τ Sd 1 i Simp.
More informationMA651 Topology. Lecture 4. Topological spaces 2
MA651 Topology. Lecture 4. Topological spaces 2 This text is based on the following books: Linear Algebra and Analysis by Marc Zamansky Topology by James Dugundgji Fundamental concepts of topology by Peter
More informationEuler Characteristic
Euler Characteristic Beifang Chen September 2, 2015 1 Euler Number There are two rules to follow when one counts the number of objects of finite sets. Given two finite sets A, B, we have (1) Addition Principle
More informationPERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES
PERSISTENT HOMOLOGY OF FINITE TOPOLOGICAL SPACES HANEY MAXWELL Abstract. We introduce homology and finite topological spaces. From the basis of that introduction, persistent homology is applied to finite
More informationLecture 2 - Introduction to Polytopes
Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.
More informationarxiv: v2 [math.gt] 15 Jan 2014
Finite rigid sets and homologically non-trivial spheres in the curve complex of a surface Joan Birman, Nathan Broaddus and William Menasco arxiv:1311.7646v2 [math.gt] 15 Jan 2014 January 15, 2014 Abstract
More informationarxiv: v1 [math.gt] 29 Jun 2009
arxiv:0906.5193v1 [math.gt] 29 Jun 2009 Sperner s Lemma, the Brouwer Fixed-Point Theorem, and Cohomology Nikolai V. Ivanov 1. INTRODUCTION. The proof of the Brouwer fixed-point Theorem based on Sperner
More informationMath 734 Aug 22, Differential Geometry Fall 2002, USC
Math 734 Aug 22, 2002 1 Differential Geometry Fall 2002, USC Lecture Notes 1 1 Topological Manifolds The basic objects of study in this class are manifolds. Roughly speaking, these are objects which locally
More informationHomological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem
Homological and Combinatorial Proofs of the Brouwer Fixed-Point Theorem Everett Cheng June 6, 2016 Three major, fundamental, and related theorems regarding the topology of Euclidean space are the Borsuk-Ulam
More informationTopological properties of convex sets
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 5: Topological properties of convex sets 5.1 Interior and closure of convex sets Let
More informationGeometric structures on manifolds
CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory
More informationINTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES
INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES RACHEL CARANDANG Abstract. This paper provides an overview of the homology groups of a 2- dimensional complex. It then demonstrates a proof of the Invariance
More informationLecture 1 Discrete Geometric Structures
Lecture 1 Discrete Geometric Structures Jean-Daniel Boissonnat Winter School on Computational Geometry and Topology University of Nice Sophia Antipolis January 23-27, 2017 Computational Geometry and Topology
More informationLecture 6: Faces, Facets
IE 511: Integer Programming, Spring 2019 31 Jan, 2019 Lecturer: Karthik Chandrasekaran Lecture 6: Faces, Facets Scribe: Setareh Taki Disclaimer: These notes have not been subjected to the usual scrutiny
More informationFinal Test in MAT 410: Introduction to Topology Answers to the Test Questions
Final Test in MAT 410: Introduction to Topology Answers to the Test Questions Stefan Kohl Question 1: Give the definition of a topological space. (3 credits) A topological space (X, τ) is a pair consisting
More informationMATH 215B MIDTERM SOLUTIONS
MATH 215B MIDTERM SOLUTIONS 1. (a) (6 marks) Show that a finitely generated group has only a finite number of subgroups of a given finite index. (Hint: Do it for a free group first.) (b) (6 marks) Show
More informationPebble Sets in Convex Polygons
2 1 Pebble Sets in Convex Polygons Kevin Iga, Randall Maddox June 15, 2005 Abstract Lukács and András posed the problem of showing the existence of a set of n 2 points in the interior of a convex n-gon
More informationThe Simplicial Lusternik-Schnirelmann Category
Department of Mathematical Science University of Copenhagen The Simplicial Lusternik-Schnirelmann Category Author: Erica Minuz Advisor: Jesper Michael Møller Thesis for the Master degree in Mathematics
More informationFACES OF CONVEX SETS
FACES OF CONVEX SETS VERA ROSHCHINA Abstract. We remind the basic definitions of faces of convex sets and their basic properties. For more details see the classic references [1, 2] and [4] for polytopes.
More informationHyperbolic structures and triangulations
CHAPTER Hyperbolic structures and triangulations In chapter 3, we learned that hyperbolic structures lead to developing maps and holonomy, and that the developing map is a covering map if and only if the
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY MARTINA ROVELLI These notes are an outline of the topics covered in class, and are not substitutive of the lectures, where (most) proofs are provided and examples are discussed
More information1 Euler characteristics
Tutorials: MA342: Tutorial Problems 2014-15 Tuesday, 1-2pm, Venue = AC214 Wednesday, 2-3pm, Venue = AC201 Tutor: Adib Makroon 1 Euler characteristics 1. Draw a graph on a sphere S 2 PROBLEMS in such a
More informationTHE DOLD-KAN CORRESPONDENCE
THE DOLD-KAN CORRESPONDENCE 1. Simplicial sets We shall now introduce the notion of a simplicial set, which will be a presheaf on a suitable category. It turns out that simplicial sets provide a (purely
More informationarxiv: v1 [cs.cg] 7 Oct 2017
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations Anna Lubiw 1, Zuzana Masárová 2, and Uli Wagner 2 arxiv:1710.02741v1 [cs.cg] 7 Oct 2017 1 School of Computer Science, University
More informationOrientation of manifolds - definition*
Bulletin of the Manifold Atlas - definition (2013) Orientation of manifolds - definition* MATTHIAS KRECK 1. Zero dimensional manifolds For zero dimensional manifolds an orientation is a map from the manifold
More informationThe Charney-Davis conjecture for certain subdivisions of spheres
The Charney-Davis conjecture for certain subdivisions of spheres Andrew Frohmader September, 008 Abstract Notions of sesquiconstructible complexes and odd iterated stellar subdivisions are introduced,
More informationTopology 550A Homework 3, Week 3 (Corrections: February 22, 2012)
Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012) Michael Tagare De Guzman January 31, 2012 4A. The Sorgenfrey Line The following material concerns the Sorgenfrey line, E, introduced in
More informationA convenient way to construct large simplicial complexes is through specifying sets and recording their intersection patterns.
III.2 Convex Set Systems 53 III.2 Convex Set Systems A convenient way to construct large simplicial complexes is through specifying sets and recording their intersection patterns. Nerves. Let F be a finite
More informationGeometric structures on manifolds
CHAPTER 3 Geometric structures on manifolds In this chapter, we give our first examples of hyperbolic manifolds, combining ideas from the previous two chapters. 3.1. Geometric structures 3.1.1. Introductory
More informationCLASSIFICATION OF SURFACES
CLASSIFICATION OF SURFACES JUSTIN HUANG Abstract. We will classify compact, connected surfaces into three classes: the sphere, the connected sum of tori, and the connected sum of projective planes. Contents
More informationBROUWER S FIXED POINT THEOREM. Contents
BROUWER S FIXED POINT THEOREM JASPER DEANTONIO Abstract. In this paper we prove Brouwer s Fixed Point Theorem, which states that for any continuous transformation f : D D of any figure topologically equivalent
More informationMonotone Paths in Geometric Triangulations
Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation
More informationUNKNOTTING 3-SPHERES IN SIX DIMENSIONS
UNKNOTTING 3-SPHERES IN SIX DIMENSIONS E. C ZEEMAN Haefliger [2] has shown that a differentiable embedding of the 3-sphere S3 in euclidean 6-dimensions El can be differentiably knotted. On the other hand
More informationCHRISTOS A. ATHANASIADIS
FLAG SUBDIVISIONS AND γ-vectors CHRISTOS A. ATHANASIADIS Abstract. The γ-vector is an important enumerative invariant of a flag simplicial homology sphere. It has been conjectured by Gal that this vector
More informationClassifications in Low Dimensions
Chapter XI Classifications in Low Dimensions In different geometric subjects there are different ideas which dimensions are low and which high. In topology of manifolds low dimension means at most 4. However,
More informationMathematical Research Letters 4, (1997) ORDER TREES AND LAMINATIONS OF THE PLANE. David Gabai and William H. Kazez
Mathematical Research Letters 4, 603 616 (1997) ORDER TREES AND LAMINATIONS OF THE PLANE David Gabai and William H. Kazez 1 Preliminary definitions A lamination λ of R 2 is a disjoint union of 1-manifolds,
More informationPart 3. Topological Manifolds
Part 3 Topological Manifolds This part is devoted to study of the most important topological spaces, the spaces which provide a scene for most of geometric branches in mathematics such as Differential
More information66 III Complexes. R p (r) }.
66 III Complexes III.4 Alpha Complexes In this section, we use a radius constraint to introduce a family of subcomplexes of the Delaunay complex. These complexes are similar to the Čech complexes but differ
More informationWait-Free Computability for General Tasks
Wait-Free Computability for General Tasks Companion slides for Distributed Computing Through Combinatorial Topology Maurice Herlihy & Dmitry Kozlov & Sergio Rajsbaum 1 Road Map Inherently colored tasks
More informationA GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY
A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,
More informationLower bound theorem for normal pseudomanifolds
Lower bound theorem for normal pseudomanifolds Bhaskar Bagchi a, Basudeb Datta b,1 arxiv:0802.3747v1 [math.gt] 26 Feb 2008 a Theoretical Statistics and Mathematics Unit, Indian Statistical Institute, Bangalore
More information6.2 Classification of Closed Surfaces
Table 6.1: A polygon diagram 6.1.2 Second Proof: Compactifying Teichmuller Space 6.2 Classification of Closed Surfaces We saw that each surface has a triangulation. Compact surfaces have finite triangulations.
More informationSIMPLICIAL ENERGY AND SIMPLICIAL HARMONIC MAPS
SIMPLICIAL ENERGY AND SIMPLICIAL HARMONIC MAPS JOEL HASS AND PETER SCOTT Abstract. We introduce a combinatorial energy for maps of triangulated surfaces with simplicial metrics and analyze the existence
More informationNotes on point set topology, Fall 2010
Notes on point set topology, Fall 2010 Stephan Stolz September 3, 2010 Contents 1 Pointset Topology 1 1.1 Metric spaces and topological spaces...................... 1 1.2 Constructions with topological
More informationAUTOMORPHISMS OF THE GRAPH OF FREE SPLITTINGS
AUTOMORPHISMS OF THE GRAPH OF FREE SPLITTINGS JAVIER ARAMAYONA & JUAN SOUTO Abstract. We prove that every simplicial automorphism of the free splitting graph of a free group F n is induced by an outer
More informationarxiv: v1 [math.co] 3 Nov 2017
DEGREE-REGULAR TRIANGULATIONS OF SURFACES BASUDEB DATTA AND SUBHOJOY GUPTA arxiv:1711.01247v1 [math.co] 3 Nov 2017 Abstract. A degree-regular triangulation is one in which each vertex has identical degree.
More information4.2 Simplicial Homology Groups
4.2. SIMPLICIAL HOMOLOGY GROUPS 93 4.2 Simplicial Homology Groups 4.2.1 Simplicial Complexes Let p 0, p 1,... p k be k + 1 points in R n, with k n. We identify points in R n with the vectors that point
More informationDon t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary?
Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case?
More information1 Point Set Topology. 1.1 Topological Spaces. CS 468: Computational Topology Point Set Topology Fall 2002
Point set topology is something that every analyst should know something about, but it s easy to get carried away and do too much it s like candy! Ron Getoor (UCSD), 1997 (quoted by Jason Lee) 1 Point
More informationChapter 6. Curves and Surfaces. 6.1 Graphs as Surfaces
Chapter 6 Curves and Surfaces In Chapter 2 a plane is defined as the zero set of a linear function in R 3. It is expected a surface is the zero set of a differentiable function in R n. To motivate, graphs
More informationDual Complexes of Cubical Subdivisions of R n
Dual Complexes of Cubical Subdivisions of R n Herbert Edelsbrunner and Michael Kerber Abstract We use a distortion to define the dual complex of a cubical subdivision of R n as an n-dimensional subcomplex
More informationChapter 4 Concepts from Geometry
Chapter 4 Concepts from Geometry An Introduction to Optimization Spring, 2014 Wei-Ta Chu 1 Line Segments The line segment between two points and in R n is the set of points on the straight line joining
More informationMath 190: Quotient Topology Supplement
Math 190: Quotient Topology Supplement 1. Introduction The purpose of this document is to give an introduction to the quotient topology. The quotient topology is one of the most ubiquitous constructions
More informationOn Soft Topological Linear Spaces
Republic of Iraq Ministry of Higher Education and Scientific Research University of AL-Qadisiyah College of Computer Science and Formation Technology Department of Mathematics On Soft Topological Linear
More informationDiscrete Morse Theory on Simplicial Complexes
Discrete Morse Theory on Simplicial Complexes August 27, 2009 ALEX ZORN ABSTRACT: Following [2] and [3], we introduce a combinatorial analog of topological Morse theory, and show how the introduction of
More informationarxiv: v2 [math.co] 24 Aug 2016
Slicing and dicing polytopes arxiv:1608.05372v2 [math.co] 24 Aug 2016 Patrik Norén June 23, 2018 Abstract Using tropical convexity Dochtermann, Fink, and Sanyal proved that regular fine mixed subdivisions
More informationFAST POINT LOCATION, RAY SHOOTING AND INTERSECTION TEST FOR 3D NEF POLYHEDRA
FAST POINT LOCATION, RAY SHOOTING AND INTERSECTION TEST FOR 3D NEF POLYHEDRA MIGUEL A. GRANADOS VELÁSQUEZ EAFIT UNIVERSITY ENGINEERING SCHOOL COMPUTER SCIENCE DEPARTMENT MEDELLÍN 2004 ii FAST POINT LOCATION,
More informationLecture IV - Further preliminaries from general topology:
Lecture IV - Further preliminaries from general topology: We now begin with some preliminaries from general topology that is usually not covered or else is often perfunctorily treated in elementary courses
More informationHomework Set #2 Math 440 Topology Topology by J. Munkres
Homework Set #2 Math 440 Topology Topology by J. Munkres Clayton J. Lungstrum October 26, 2012 Exercise 1. Prove that a topological space X is Hausdorff if and only if the diagonal = {(x, x) : x X} is
More informationTopology - I. Michael Shulman WOMP 2004
Topology - I Michael Shulman WOMP 2004 1 Topological Spaces There are many different ways to define a topological space; the most common one is as follows: Definition 1.1 A topological space (often just
More informationCOMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY
COMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY 1. Geometric and abstract simplicial complexes Let v 0, v 1,..., v k be points in R n. These points determine a hyperplane in R n, consisting of linear combinations
More information