4. Connectedness 4.1 Connectedness Let D Be the Usual Metric on R 2, Ie

Total Page:16

File Type:pdf, Size:1020Kb

4. Connectedness 4.1 Connectedness Let D Be the Usual Metric on R 2, Ie 4. Connectedness 4.1 Connectedness Let d be the usual metric on 2, i.e. d(x, y) = (x y )2 + (x y )2, for x = R 1 − 1 2 − 2 (x1, x2), y = (y1, y2). Let p X = x 2 d(x, 0) 1 or d(x, (4, 1)) 2 { ∈ R | ≤ ≤ } and Y = x = (x , x ) 2 1 x 1, 1 x 1 . { 1 2 ∈ R | − ≤ 1 ≤ − ≤ 2 ≤ } So X is X = A B and Y is S 2 Are X and Y homeomorphic? Both are Hausdorff (subspaces of R ) and both are compact since closed and bounded. However, it seems unlikely that they are homeomorphic since X is in two bits and Y is not. Definition A topological space X is disconnected if there exist two disjoint nonempty open sets U, V such that X = U V (and U V = ). A topological space is connected if ∅ it is not disconnected. S T 55 2 Examples (i) X as in the above example. X = A B and A is a closed subset of R (its a closed ball). Hence X = X A is a closed subsetS of X (in the subspace topology). Hence B = CX (A) is open in X.T Similarly A = CX (B) is open. Hence X = A B, for nonempty disjoint open sets A, B. Hence X is disconnected. S (ii) Y (above) is connected (see later). (ii) Let X be a discrete topological space with at least 2 elements. Pick x X. Then ∈ X = x C ( x ) and so X is disconnected. { } X { } S (4.1a) Lemma A topological space X is disconnected if and only if there exists a proper subset (i.e. neither nor X) M, say, such that M is both open and closed. ∅ Proof ( ) Assume X is disconnected. Then X = A B with A, B disjoint and ⇒ nonempty open sets. So A is a proper subset. Now A isS closed and A = CX (B) is closed. Hence A is open and closed. ( ) Suppose X has a subset M which is both open and closed. Then X = M C (M) ⇐ X expresses X as the union of disjoint open sets. Hence X is disconnected. S (4.1b) A topological space X is disconnected if and only if there exist non-null, disjoint closed sets A, B such that X = A B. S Proof Exercise. (4.1c) Lemma A topological space X is connected if and only if every continuous map from X into a discrete topological space is constant. Proof ( ) Suppose X connected and let f : X D be a continuous map into a discrete ⇒ → space D. Let x X and let α = f(x ). Put A = α and B = D α . Then D = A B 0 ∈ 0 { } \{ } and hence S 1 1 1 X = f − D = f − A f − B. [ 1 1 Now A, B are open in D (every subset of D is open) and hence f − A, f − B are open in X. 1 1 1 1 1 Note also that f − A f − B = f − = . Hence X = f − A f − B expresses X as the ∅ ∅ disjoint union of twoT open sets. Since X is connected, one ofS these must be empty. But 1 1 1 1 x f − A so f − A = and hence f − B = and we have X = f − A. Thus f(x) A for 0 ∈ 6 ∅ ∅ ∈ every x X, i.e. f(x) = α for every x X. Hence f is the constant function. ∈ ∈ 56 ( ) We suppose that every continuous map from f into a discrete space is constant and ⇐ prove X is connected. Assume for a contradiction that X is not connected. Thus we may write X = A B, with A, B nonempty and open. Let D α, β be the discrete space with { } two elements α, β. Define f : X D by S → α, if x A; f(x) = β, if x ∈ B. ½ ∈ Check that f is continuous and hence nonconstant. This is a contradiction, so X is connected. (4.1d) Proposition The image of a connected space is connected, i.e. if f : X Y is → continuous and X is connected then f(X) is connected. Proof (i) Let Z = f(X) = Im(f) and let g : X Z be the restriction of f, i.e. → g(x) = f(x) for all x X (the only difference between f and g is that the codomain of f ∈ is Y and the codomain of g is Z). “Direct Proof” If Z is disconnected then we can write Z = U V for disjoint nonempty 1 1 1 1 open sets U, V but then we would have X = g− Z = g− (US V ) = g− U g− V , a disjoint union of nonempty open sets. But X is connected so thisS can’t happen.S So Z is connected. “Another Proof” Let h : Z D be a continuous map, with D discrete. Then h g : → ◦ X D is constant (since X is connected, see (4.1c)). But then if z , z Z we can write → 1 2 ∈ z = g(x ), z = g(x ) for some x , x X. So h(z ) = h(g(x )) = h(g(x )) = h(z ) 1 1 2 2 1 2 ∈ 1 1 2 2 (since h g is constant). But then h(z ) = h(z ) so h is constant and Z is connected, by ◦ 1 2 (4.1c). (4.1e) Corollary Connectedness is a topological property. Proof We must show that if X is connected and X is homeomorphic to Y then Y is connected. Assume X is connected and X is homeomorphic to Y . Thus there is a homeomorphism f : X Y . The map f is in particular a surjective (onto) continuous → map. By (4.1e), Y = f(X) is connected. Example Let X be an infinite set regarded as a topological space with the cofinite topology. Then X is connected. 57 If not we can write X = A B with A, B nonempty and open and with A B = . But ∅ then X = CX (A) CX (B), aS union of two finite sets and hence finite. ButTX is infinite so this is impossible.S Hence X is connected. We shall need the following general result. (4.1f) Lemma Let X be a topological space and let Y be a subspace of X. Let A be a subset of Y (so A Y X). ⊂ ⊂ (i) A is closed in Y if and only if it has the form K Y for some closed set K of X. (ii) If A is open in Y (in the subspace topology on YT) and Y is an open subset of X then S is an open subset of X. (iii) If A is closed in Y (in the subspace topology on Y ) and Y is a closed subset of X then A is a closed subset of X. Proof (i) Suppose A is closed in Y (in the subspace topology). Then CY (A) = Y U, for some open set U in X. Let K be the closed set CX (U). Then X = U K andT so Y = (Y U) (Y K). Thus Y K is the complement in Y of CY (A) = YS U. But the complementT S ofTCY (A) in Y is TA, i.e. we have A = Y K. T (ii) We have A = U Y , with U open in X. So A is a unionT of two open sets in X hence open in X. T (iii) We have A = Y K for some closed set K in X, by (i). Thus A is the intersection of two closed sets in X Tand hence A is closed in X. (4.1g) Theorem The closed interval [a, b] is connected (for a < b). Proof [a, b] is homeomorphic to [0, 1] so by (4.1e) it suffices to prove [0, 1] is connected. Let A be a nonempty subset of [0, 1] which is open and closed (in the subspace topology on [0, 1]). Let α be the greatest lower bound of A. Now A is closed in R (by (4.1f)(iii) since A is closed in [0, 1] and [0, 1] is closed in ). So α A by (3.2l). We claim that in fact R ∈ α = 0. Suppose not. Since A is open in [0, 1] we have A = [0, 1] U for some open set U in . So we have (α r, α + r) U for some r > 0. Choose s > 0 such that s < min r, α . R − ⊂ T { } Then (α s, α] U [0, 1] = A. But then α s/2 A, contradicting the fact that α is − ⊂ − ∈ a lower bound of A.T Hence α = 0. We have shown that if A is any nonempty subset of [0, 1] which is open and closed then 0 A. But now if [0, 1] is disconnected then we can ∈ 58 write [0, 1] = A B for nonempty disjoint subsets A, B which are open and closed. But then 0 A and 0 B contradicting the fact that A B = . Hence [0, 1] is connected. ∈ S∈ ∅ T (4.1h) Corollary (The Intermediate Value Theorem) Let f :[a, b] be con- → R tinuous and suppose that f(a) < k < f(b). Then there exists some c (a, b) such that ∈ f(c) = k. Proof Suppose for a contradiction that there is no such c. Let U = ( , k), V = (k, ). ∞ ∞ Then we have 1 1 [a, b] = f − U f − V and this is a disjoint union of nonempty open subsets[ of [a, b]. But [a, b] is connected so this is impossible.
Recommended publications
  • A Guide to Topology
    i i “topguide” — 2010/12/8 — 17:36 — page i — #1 i i A Guide to Topology i i i i i i “topguide” — 2011/2/15 — 16:42 — page ii — #2 i i c 2009 by The Mathematical Association of America (Incorporated) Library of Congress Catalog Card Number 2009929077 Print Edition ISBN 978-0-88385-346-7 Electronic Edition ISBN 978-0-88385-917-9 Printed in the United States of America Current Printing (last digit): 10987654321 i i i i i i “topguide” — 2010/12/8 — 17:36 — page iii — #3 i i The Dolciani Mathematical Expositions NUMBER FORTY MAA Guides # 4 A Guide to Topology Steven G. Krantz Washington University, St. Louis ® Published and Distributed by The Mathematical Association of America i i i i i i “topguide” — 2010/12/8 — 17:36 — page iv — #4 i i DOLCIANI MATHEMATICAL EXPOSITIONS Committee on Books Paul Zorn, Chair Dolciani Mathematical Expositions Editorial Board Underwood Dudley, Editor Jeremy S. Case Rosalie A. Dance Tevian Dray Patricia B. Humphrey Virginia E. Knight Mark A. Peterson Jonathan Rogness Thomas Q. Sibley Joe Alyn Stickles i i i i i i “topguide” — 2010/12/8 — 17:36 — page v — #5 i i The DOLCIANI MATHEMATICAL EXPOSITIONS series of the Mathematical Association of America was established through a generous gift to the Association from Mary P. Dolciani, Professor of Mathematics at Hunter College of the City Uni- versity of New York. In making the gift, Professor Dolciani, herself an exceptionally talented and successfulexpositor of mathematics, had the purpose of furthering the ideal of excellence in mathematical exposition.
    [Show full text]
  • Open 3-Manifolds Which Are Simply Connected at Infinity
    OPEN 3-MANIFOLDS WHICH ARE SIMPLY CONNECTED AT INFINITY C H. EDWARDS, JR.1 A triangulated open manifold M will be called l-connected at infin- ity il each compact subset C of M is contained in a compact poly- hedron P in M such that M—P is connected and simply connected. Stallings has shown that, if M is a contractible open combinatorial manifold which is l-connected at infinity and is of dimension ra^5, then M is piecewise-linearly homeomorphic to Euclidean re-space E" [5]. Theorem 1. Let M be a contractible open 3-manifold, each of whose compact subsets can be imbedded in £3. If M is l-connected at infinity, then M is homeomorphic to £3. Notice that, in order to prove the 3-dimensional Poincaré conjec- ture, it would suffice to prove Theorem 1 without the hypothesis that each compact subset of M can be imbedded in £3. For, if M is a simply connected closed 3-manifold and p is a point of M, then M —p is a contractible open 3-manifold which is clearly l-connected at infinity. Conversely, if the 3-dimensional Poincaré conjecture were known, then the hypothesis that each compact subset of M can be imbedded in £3 would be unnecessary. All spaces and mappings in this paper are considered in the poly- hedral or piecewise-linear sense, unless otherwise stated. As usual, by an open re-manifold is meant a noncompact connected space triangu- lated by a countable simplicial complex without boundary, such that the link of each vertex is piecewise-linearly homeomorphic to the usual (re—1)-sphere.
    [Show full text]
  • Pg**- Compact Spaces
    International Journal of Mathematics Research. ISSN 0976-5840 Volume 9, Number 1 (2017), pp. 27-43 © International Research Publication House http://www.irphouse.com pg**- compact spaces Mrs. G. Priscilla Pacifica Assistant Professor, St.Mary’s College, Thoothukudi – 628001, Tamil Nadu, India. Dr. A. Punitha Tharani Associate Professor, St.Mary’s College, Thoothukudi –628001, Tamil Nadu, India. Abstract The concepts of pg**-compact, pg**-countably compact, sequentially pg**- compact, pg**-locally compact and pg**- paracompact are introduced, and several properties are investigated. Also the concept of pg**-compact modulo I and pg**-countably compact modulo I spaces are introduced and the relation between these concepts are discussed. Keywords: pg**-compact, pg**-countably compact, sequentially pg**- compact, pg**-locally compact, pg**- paracompact, pg**-compact modulo I, pg**-countably compact modulo I. 1. Introduction Levine [3] introduced the class of g-closed sets in 1970. Veerakumar [7] introduced g*- closed sets. P M Helen[5] introduced g**-closed sets. A.S.Mashhour, M.E Abd El. Monsef [4] introduced a new class of pre-open sets in 1982. Ideal topological spaces have been first introduced by K.Kuratowski [2] in 1930. In this paper we introduce 28 Mrs. G. Priscilla Pacifica and Dr. A. Punitha Tharani pg**-compact, pg**-countably compact, sequentially pg**-compact, pg**-locally compact, pg**-paracompact, pg**-compact modulo I and pg**-countably compact modulo I spaces and investigate their properties. 2. Preliminaries Throughout this paper(푋, 휏) and (푌, 휎) represent non-empty topological spaces of which no separation axioms are assumed unless otherwise stated. Definition 2.1 A subset 퐴 of a topological space(푋, 휏) is called a pre-open set [4] if 퐴 ⊆ 푖푛푡(푐푙(퐴) and a pre-closed set if 푐푙(푖푛푡(퐴)) ⊆ 퐴.
    [Show full text]
  • MTH 304: General Topology Semester 2, 2017-2018
    MTH 304: General Topology Semester 2, 2017-2018 Dr. Prahlad Vaidyanathan Contents I. Continuous Functions3 1. First Definitions................................3 2. Open Sets...................................4 3. Continuity by Open Sets...........................6 II. Topological Spaces8 1. Definition and Examples...........................8 2. Metric Spaces................................. 11 3. Basis for a topology.............................. 16 4. The Product Topology on X × Y ...................... 18 Q 5. The Product Topology on Xα ....................... 20 6. Closed Sets.................................. 22 7. Continuous Functions............................. 27 8. The Quotient Topology............................ 30 III.Properties of Topological Spaces 36 1. The Hausdorff property............................ 36 2. Connectedness................................. 37 3. Path Connectedness............................. 41 4. Local Connectedness............................. 44 5. Compactness................................. 46 6. Compact Subsets of Rn ............................ 50 7. Continuous Functions on Compact Sets................... 52 8. Compactness in Metric Spaces........................ 56 9. Local Compactness.............................. 59 IV.Separation Axioms 62 1. Regular Spaces................................ 62 2. Normal Spaces................................ 64 3. Tietze's extension Theorem......................... 67 4. Urysohn Metrization Theorem........................ 71 5. Imbedding of Manifolds..........................
    [Show full text]
  • General Topology
    General Topology Tom Leinster 2014{15 Contents A Topological spaces2 A1 Review of metric spaces.......................2 A2 The definition of topological space.................8 A3 Metrics versus topologies....................... 13 A4 Continuous maps........................... 17 A5 When are two spaces homeomorphic?................ 22 A6 Topological properties........................ 26 A7 Bases................................. 28 A8 Closure and interior......................... 31 A9 Subspaces (new spaces from old, 1)................. 35 A10 Products (new spaces from old, 2)................. 39 A11 Quotients (new spaces from old, 3)................. 43 A12 Review of ChapterA......................... 48 B Compactness 51 B1 The definition of compactness.................... 51 B2 Closed bounded intervals are compact............... 55 B3 Compactness and subspaces..................... 56 B4 Compactness and products..................... 58 B5 The compact subsets of Rn ..................... 59 B6 Compactness and quotients (and images)............. 61 B7 Compact metric spaces........................ 64 C Connectedness 68 C1 The definition of connectedness................... 68 C2 Connected subsets of the real line.................. 72 C3 Path-connectedness.......................... 76 C4 Connected-components and path-components........... 80 1 Chapter A Topological spaces A1 Review of metric spaces For the lecture of Thursday, 18 September 2014 Almost everything in this section should have been covered in Honours Analysis, with the possible exception of some of the examples. For that reason, this lecture is longer than usual. Definition A1.1 Let X be a set. A metric on X is a function d: X × X ! [0; 1) with the following three properties: • d(x; y) = 0 () x = y, for x; y 2 X; • d(x; y) + d(y; z) ≥ d(x; z) for all x; y; z 2 X (triangle inequality); • d(x; y) = d(y; x) for all x; y 2 X (symmetry).
    [Show full text]
  • Daniel Irvine June 20, 2014 Lecture 6: Topological Manifolds 1. Local
    Daniel Irvine June 20, 2014 Lecture 6: Topological Manifolds 1. Local Topological Properties Exercise 7 of the problem set asked you to understand the notion of path compo- nents. We assume that knowledge here. We have done a little work in understanding the notions of connectedness, path connectedness, and compactness. It turns out that even if a space doesn't have these properties globally, they might still hold locally. Definition. A space X is locally path connected at x if for every neighborhood U of x, there is a path connected neighborhood V of x contained in U. If X is locally path connected at all of its points, then it is said to be locally path connected. Lemma 1.1. A space X is locally path connected if and only if for every open set V of X, each path component of V is open in X. Proof. Suppose that X is locally path connected. Let V be an open set in X; let C be a path component of V . If x is a point of V , we can (by definition) choose a path connected neighborhood W of x such that W ⊂ V . Since W is path connected, it must lie entirely within the path component C. Therefore C is open. Conversely, suppose that the path components of open sets of X are themselves open. Given a point x of X and a neighborhood V of x, let C be the path component of V containing x. Now C is path connected, and since it is open in X by hypothesis, we now have that X is locally path connected at x.
    [Show full text]
  • Discrete Mathematics Panconnected Index of Graphs
    Discrete Mathematics 340 (2017) 1092–1097 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: www.elsevier.com/locate/disc Panconnected index of graphs Hao Li a,*, Hong-Jian Lai b, Yang Wu b, Shuzhen Zhuc a Department of Mathematics, Renmin University, Beijing, PR China b Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA c Department of Mathematics, Taiyuan University of Technology, Taiyuan, 030024, PR China article info a b s t r a c t Article history: For a connected graph G not isomorphic to a path, a cycle or a K1;3, let pc(G) denote the Received 22 January 2016 smallest integer n such that the nth iterated line graph Ln(G) is panconnected. A path P is Received in revised form 25 October 2016 a divalent path of G if the internal vertices of P are of degree 2 in G. If every edge of P is a Accepted 25 October 2016 cut edge of G, then P is a bridge divalent path of G; if the two ends of P are of degree s and Available online 30 November 2016 t, respectively, then P is called a divalent (s; t)-path. Let `(G) D maxfm V G has a divalent g Keywords: path of length m that is not both of length 2 and in a K3 . We prove the following. Iterated line graphs (i) If G is a connected triangular graph, then L(G) is panconnected if and only if G is Panconnectedness essentially 3-edge-connected. Panconnected index of graphs (ii) pc(G) ≤ `(G) C 2.
    [Show full text]
  • On the Simple Connectedness of Hyperplane Complements in Dual Polar Spaces
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Ghent University Academic Bibliography On the simple connectedness of hyperplane complements in dual polar spaces I. Cardinali, B. De Bruyn∗ and A. Pasini Abstract Let ∆ be a dual polar space of rank n ≥ 4, H be a hyperplane of ∆ and Γ := ∆\H be the complement of H in ∆. We shall prove that, if all lines of ∆ have more than 3 points, then Γ is simply connected. Then we show how this theorem can be exploited to prove that certain families of hyperplanes of dual polar spaces, or all hyperplanes of certain dual polar spaces, arise from embeddings. Keywords: diagram geometry, dual polar spaces, hyperplanes, simple connected- ness, universal embedding MSC: 51E24, 51A50 1 Introduction We presume the reader is familiar with notions as simple connectedness, hy- perplanes, hyperplane complements, full projective embeddings, hyperplanes arising from an embedding, and other concepts involved in the theorems to be stated in this introduction. If not, the reader may see Section 2 of this paper, where those concepts are recalled. The following is the main theorem of this paper. We shall prove it in Section 3. Theorem 1.1 Let ∆ be a dual polar space of rank ≥ 4 with at least 4 points on each line. If H is a hyperplane of ∆ then the complement ∆ \ H of H in ∆ is simply connected. ∗Postdoctoral Fellow on the Research Foundation - Flanders 1 Not so much is known on ∆ \ H when rank(∆) = 3. The next theorem is one of the few results obtained so far for that case.
    [Show full text]
  • Discrete Subspaces of Topological Spaces 1)
    MATHEMATICS DISCRETE SUBSPACES OF TOPOLOGICAL SPACES 1) BY A. HAJNAL AND I. JUHASZ (Communicated by Prof. J. POPKEN at the meeting of October 29, 1966) §. l. Introduction Recently several papers appeared in the literature proving theorems of the following type. A topological space with "very many points" contains a discrete subspace with "many points". J. DE GROOT and B. A. EFIMOV proved in [2] and [4] that a Hausdorff space of power > exp exp exp m contains a discrete subspace of power >m. J. ISBELL proved in [3] a similar result for completely regular spaces. J. de Groot proved as well that for regular spaces R the assumption IRI > exp exp m is sufficient to imply the existence of a discrete subspace of potency > m. One of our main issues will be to improve this result and show that the same holds for Hausdorff spaces (see Theorems 2 and 3). Our Theorem 1 states that a Hausdorff space of density > exp m contains a discrete subspace of power >m. We give two different proofs for the main result already mentioned. The proof outlined for Theorem 3 is a slight improvement of de Groot's proof. The proof given for Theorem 2 is of purely combinatorial character. We make use of the ideas and some theorems of the so called set-theoretical partition calculus developed by P. ERDOS and R. RADO (see [5], [ 11 ]). Almost all the other results we prove are based on combinatorial theorems. For the convenience of the reader we always state these theorems in full detail. Our Theorem 4 states that if m is a strong limit cardinal which is the sum of No smaller cardinals, then every Hausdorff space of power m contains a discrete subspace of power m.
    [Show full text]
  • REVERSIBLE FILTERS 1. Introduction a Topological Space X Is Reversible
    REVERSIBLE FILTERS ALAN DOW AND RODRIGO HERNANDEZ-GUTI´ ERREZ´ Abstract. A space is reversible if every continuous bijection of the space onto itself is a homeomorphism. In this paper we study the question of which countable spaces with a unique non-isolated point are reversible. By Stone duality, these spaces correspond to closed subsets in the Cech-Stoneˇ compact- ification of the natural numbers β!. From this, the following natural problem arises: given a space X that is embeddable in β!, is it possible to embed X in such a way that the associated filter of neighborhoods defines a reversible (or non-reversible) space? We give the solution to this problem in some cases. It is especially interesting whether the image of the required embedding is a weak P -set. 1. Introduction A topological space X is reversible if every time that f : X ! X is a continuous bijection, then f is a homeomorphism. This class of spaces was defined in [10], where some examples of reversible spaces were given. These include compact spaces, Euclidean spaces Rn (by the Brouwer invariance of domain theorem) and the space ! [ fpg, where p is an ultrafilter, as a subset of β!. This last example is of interest to us. Given a filter F ⊂ P(!), consider the space ξ(F) = ! [ fFg, where every point of ! is isolated and every neighborhood of F is of the form fFg [ A with A 2 F. Spaces of the form ξ(F) have been studied before, for example by Garc´ıa-Ferreira and Uzc´ategi([6] and [7]).
    [Show full text]
  • Topology - Wikipedia, the Free Encyclopedia Page 1 of 7
    Topology - Wikipedia, the free encyclopedia Page 1 of 7 Topology From Wikipedia, the free encyclopedia Topology (from the Greek τόπος , “place”, and λόγος , “study”) is a major area of mathematics concerned with properties that are preserved under continuous deformations of objects, such as deformations that involve stretching, but no tearing or gluing. It emerged through the development of concepts from geometry and set theory, such as space, dimension, and transformation. Ideas that are now classified as topological were expressed as early as 1736. Toward the end of the 19th century, a distinct A Möbius strip, an object with only one discipline developed, which was referred to in Latin as the surface and one edge. Such shapes are an geometria situs (“geometry of place”) or analysis situs object of study in topology. (Greek-Latin for “picking apart of place”). This later acquired the modern name of topology. By the middle of the 20 th century, topology had become an important area of study within mathematics. The word topology is used both for the mathematical discipline and for a family of sets with certain properties that are used to define a topological space, a basic object of topology. Of particular importance are homeomorphisms , which can be defined as continuous functions with a continuous inverse. For instance, the function y = x3 is a homeomorphism of the real line. Topology includes many subfields. The most basic and traditional division within topology is point-set topology , which establishes the foundational aspects of topology and investigates concepts inherent to topological spaces (basic examples include compactness and connectedness); algebraic topology , which generally tries to measure degrees of connectivity using algebraic constructs such as homotopy groups and homology; and geometric topology , which primarily studies manifolds and their embeddings (placements) in other manifolds.
    [Show full text]
  • L -Betti Numbers of R-Spaces and the Integral Foliated Simplicial Volume
    Marco Schmidt L2-Betti Numbers of R-Spaces and the Integral Foliated Simplicial Volume 2005 Mathematik L2-Betti Numbers of R-Spaces and the Integral Foliated Simplicial Volume Inaugural-Dissertation zur Erlangung des Doktorgrades der Naturwissenschaften im Fachbereich Mathematik und Informatik der Mathematisch-Naturwissenschaftlichen Fakult¨at der Westf¨alischen Wilhelms-Universit¨at M¨unster vorgelegt von Marco Schmidt aus Berlin – 2005 – Dekan: Prof. Dr. Klaus Hinrichs Erster Gutachter: Prof. Dr. Wolfgang L¨uck Zweiter Gutachter: Prof. Dr. Anand Dessai Tag der m¨undlichen Pr¨ufung: 30. Mai 2005 Tag der Promotion: 13. Juli 2005 Introduction The origin of this thesis is the following conjecture of Gromov [26, Section 8A, 2 (2) p. 232] revealing a connection between the L -Betti numbers bk (M)and the sim- plicial volume M of a closed oriented connected aspherical manifold M. Conjecture. Let M be a closed oriented connected aspherical manifold with M = 0. Then (2) ≥ bk (M)=0 for all k 0. The first definition of L2-Betti numbers for cocompact free proper G-manifolds with G-invariant Riemannian metric (due to Atiyah [2]) is given in terms of the heat kernel. We will briefly recall this original definition at the beginning of Chap- ter 1. Today, there is an algebraic and more general definition of L2-Betti numbers which works for arbitrary G-spaces. Analogously to ordinary Betti numbers, they are given as the “rank” of certain homology modules. More precisely, the k-th L2- (2) N Betti number bk (Z; G) of a G-space Z is the von Neumann dimension of the k-th twisted singular homology group of Z with coefficients in the group von Neumann algebra N G.
    [Show full text]