Part 1. General Topology
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Algebra I Chapter 1. Basic Facts from Set Theory 1.1 Glossary of Abbreviations
Notes: c F.P. Greenleaf, 2000-2014 v43-s14sets.tex (version 1/1/2014) Algebra I Chapter 1. Basic Facts from Set Theory 1.1 Glossary of abbreviations. Below we list some standard math symbols that will be used as shorthand abbreviations throughout this course. means “for all; for every” • ∀ means “there exists (at least one)” • ∃ ! means “there exists exactly one” • ∃ s.t. means “such that” • = means “implies” • ⇒ means “if and only if” • ⇐⇒ x A means “the point x belongs to a set A;” x / A means “x is not in A” • ∈ ∈ N denotes the set of natural numbers (counting numbers) 1, 2, 3, • · · · Z denotes the set of all integers (positive, negative or zero) • Q denotes the set of rational numbers • R denotes the set of real numbers • C denotes the set of complex numbers • x A : P (x) If A is a set, this denotes the subset of elements x in A such that •statement { ∈ P (x)} is true. As examples of the last notation for specifying subsets: x R : x2 +1 2 = ( , 1] [1, ) { ∈ ≥ } −∞ − ∪ ∞ x R : x2 +1=0 = { ∈ } ∅ z C : z2 +1=0 = +i, i where i = √ 1 { ∈ } { − } − 1.2 Basic facts from set theory. Next we review the basic definitions and notations of set theory, which will be used throughout our discussions of algebra. denotes the empty set, the set with nothing in it • ∅ x A means that the point x belongs to a set A, or that x is an element of A. • ∈ A B means A is a subset of B – i.e. -
Basic Properties of Filter Convergence Spaces
Basic Properties of Filter Convergence Spaces Barbel¨ M. R. Stadlery, Peter F. Stadlery;z;∗ yInstitut fur¨ Theoretische Chemie, Universit¨at Wien, W¨ahringerstraße 17, A-1090 Wien, Austria zThe Santa Fe Institute, 1399 Hyde Park Road, Santa Fe, NM 87501, USA ∗Address for corresponce Abstract. This technical report summarized facts from the basic theory of filter convergence spaces and gives detailed proofs for them. Many of the results collected here are well known for various types of spaces. We have made no attempt to find the original proofs. 1. Introduction Mathematical notions such as convergence, continuity, and separation are, at textbook level, usually associated with topological spaces. It is possible, however, to introduce them in a much more abstract way, based on axioms for convergence instead of neighborhood. This approach was explored in seminal work by Choquet [4], Hausdorff [12], Katˇetov [14], Kent [16], and others. Here we give a brief introduction to this line of reasoning. While the material is well known to specialists it does not seem to be easily accessible to non-topologists. In some cases we include proofs of elementary facts for two reasons: (i) The most basic facts are quoted without proofs in research papers, and (ii) the proofs may serve as examples to see the rather abstract formalism at work. 2. Sets and Filters Let X be a set, P(X) its power set, and H ⊆ P(X). The we define H∗ = fA ⊆ Xj(X n A) 2= Hg (1) H# = fA ⊆ Xj8Q 2 H : A \ Q =6 ;g The set systems H∗ and H# are called the conjugate and the grill of H, respectively. -
A Class of Symmetric Difference-Closed Sets Related to Commuting Involutions John Campbell
A class of symmetric difference-closed sets related to commuting involutions John Campbell To cite this version: John Campbell. A class of symmetric difference-closed sets related to commuting involutions. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2017, Vol 19 no. 1. hal-01345066v4 HAL Id: hal-01345066 https://hal.archives-ouvertes.fr/hal-01345066v4 Submitted on 18 Mar 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Discrete Mathematics and Theoretical Computer Science DMTCS vol. 19:1, 2017, #8 A class of symmetric difference-closed sets related to commuting involutions John M. Campbell York University, Canada received 19th July 2016, revised 15th Dec. 2016, 1st Feb. 2017, accepted 10th Feb. 2017. Recent research on the combinatorics of finite sets has explored the structure of symmetric difference-closed sets, and recent research in combinatorial group theory has concerned the enumeration of commuting involutions in Sn and An. In this article, we consider an interesting combination of these two subjects, by introducing classes of symmetric difference-closed sets of elements which correspond in a natural way to commuting involutions in Sn and An. We consider the natural combinatorial problem of enumerating symmetric difference-closed sets consisting of subsets of sets consisting of pairwise disjoint 2-subsets of [n], and the problem of enumerating symmetric difference-closed sets consisting of elements which correspond to commuting involutions in An. -
7.2 Binary Operators Closure
last edited April 19, 2016 7.2 Binary Operators A precise discussion of symmetry benefits from the development of what math- ematicians call a group, which is a special kind of set we have not yet explicitly considered. However, before we define a group and explore its properties, we reconsider several familiar sets and some of their most basic features. Over the last several sections, we have considered many di↵erent kinds of sets. We have considered sets of integers (natural numbers, even numbers, odd numbers), sets of rational numbers, sets of vertices, edges, colors, polyhedra and many others. In many of these examples – though certainly not in all of them – we are familiar with rules that tell us how to combine two elements to form another element. For example, if we are dealing with the natural numbers, we might considered the rules of addition, or the rules of multiplication, both of which tell us how to take two elements of N and combine them to give us a (possibly distinct) third element. This motivates the following definition. Definition 26. Given a set S,abinary operator ? is a rule that takes two elements a, b S and manipulates them to give us a third, not necessarily distinct, element2 a?b. Although the term binary operator might be new to us, we are already familiar with many examples. As hinted to earlier, the rule for adding two numbers to give us a third number is a binary operator on the set of integers, or on the set of rational numbers, or on the set of real numbers. -
3. Closed Sets, Closures, and Density
3. Closed sets, closures, and density 1 Motivation Up to this point, all we have done is define what topologies are, define a way of comparing two topologies, define a method for more easily specifying a topology (as a collection of sets generated by a basis), and investigated some simple properties of bases. At this point, we will start introducing some more interesting definitions and phenomena one might encounter in a topological space, starting with the notions of closed sets and closures. Thinking back to some of the motivational concepts from the first lecture, this section will start us on the road to exploring what it means for two sets to be \close" to one another, or what it means for a point to be \close" to a set. We will draw heavily on our intuition about n convergent sequences in R when discussing the basic definitions in this section, and so we begin by recalling that definition from calculus/analysis. 1 n Definition 1.1. A sequence fxngn=1 is said to converge to a point x 2 R if for every > 0 there is a number N 2 N such that xn 2 B(x) for all n > N. 1 Remark 1.2. It is common to refer to the portion of a sequence fxngn=1 after some index 1 N|that is, the sequence fxngn=N+1|as a tail of the sequence. In this language, one would phrase the above definition as \for every > 0 there is a tail of the sequence inside B(x)." n Given what we have established about the topological space Rusual and its standard basis of -balls, we can see that this is equivalent to saying that there is a tail of the sequence inside any open set containing x; this is because the collection of -balls forms a basis for the usual topology, and thus given any open set U containing x there is an such that x 2 B(x) ⊆ U. -
Professor Smith Math 295 Lecture Notes
Professor Smith Math 295 Lecture Notes by John Holler Fall 2010 1 October 29: Compactness, Open Covers, and Subcovers. 1.1 Reexamining Wednesday's proof There seemed to be a bit of confusion about our proof of the generalized Intermediate Value Theorem which is: Theorem 1: If f : X ! Y is continuous, and S ⊆ X is a connected subset (con- nected under the subspace topology), then f(S) is connected. We'll approach this problem by first proving a special case of it: Theorem 1: If f : X ! Y is continuous and surjective and X is connected, then Y is connected. Proof of 2: Suppose not. Then Y is not connected. This by definition means 9 non-empty open sets A; B ⊂ Y such that A S B = Y and A T B = ;. Since f is continuous, both f −1(A) and f −1(B) are open. Since f is surjective, both f −1(A) and f −1(B) are non-empty because A and B are non-empty. But the surjectivity of f also means f −1(A) S f −1(B) = X, since A S B = Y . Additionally we have f −1(A) T f −1(B) = ;. For if not, then we would have that 9x 2 f −1(A) T f −1(B) which implies f(x) 2 A T B = ; which is a contradiction. But then these two non-empty open sets f −1(A) and f −1(B) disconnect X. QED Now we want to show that Theorem 2 implies Theorem 1. This will require the help from a few lemmas, whose proofs are on Homework Set 7: Lemma 1: If f : X ! Y is continuous, and S ⊆ X is any subset of X then the restriction fjS : S ! Y; x 7! f(x) is also continuous. -
What Are Lyapunov Exponents, and Why Are They Interesting?
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 54, Number 1, January 2017, Pages 79–105 http://dx.doi.org/10.1090/bull/1552 Article electronically published on September 6, 2016 WHAT ARE LYAPUNOV EXPONENTS, AND WHY ARE THEY INTERESTING? AMIE WILKINSON Introduction At the 2014 International Congress of Mathematicians in Seoul, South Korea, Franco-Brazilian mathematician Artur Avila was awarded the Fields Medal for “his profound contributions to dynamical systems theory, which have changed the face of the field, using the powerful idea of renormalization as a unifying principle.”1 Although it is not explicitly mentioned in this citation, there is a second unify- ing concept in Avila’s work that is closely tied with renormalization: Lyapunov (or characteristic) exponents. Lyapunov exponents play a key role in three areas of Avila’s research: smooth ergodic theory, billiards and translation surfaces, and the spectral theory of 1-dimensional Schr¨odinger operators. Here we take the op- portunity to explore these areas and reveal some underlying themes connecting exponents, chaotic dynamics and renormalization. But first, what are Lyapunov exponents? Let’s begin by viewing them in one of their natural habitats: the iterated barycentric subdivision of a triangle. When the midpoint of each side of a triangle is connected to its opposite vertex by a line segment, the three resulting segments meet in a point in the interior of the triangle. The barycentric subdivision of a triangle is the collection of 6 smaller triangles determined by these segments and the edges of the original triangle: Figure 1. Barycentric subdivision. Received by the editors August 2, 2016. -
Natural Numerosities of Sets of Tuples
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 367, Number 1, January 2015, Pages 275–292 S 0002-9947(2014)06136-9 Article electronically published on July 2, 2014 NATURAL NUMEROSITIES OF SETS OF TUPLES MARCO FORTI AND GIUSEPPE MORANA ROCCASALVO Abstract. We consider a notion of “numerosity” for sets of tuples of natural numbers that satisfies the five common notions of Euclid’s Elements, so it can agree with cardinality only for finite sets. By suitably axiomatizing such a no- tion, we show that, contrasting to cardinal arithmetic, the natural “Cantorian” definitions of order relation and arithmetical operations provide a very good algebraic structure. In fact, numerosities can be taken as the non-negative part of a discretely ordered ring, namely the quotient of a formal power series ring modulo a suitable (“gauge”) ideal. In particular, special numerosities, called “natural”, can be identified with the semiring of hypernatural numbers of appropriate ultrapowers of N. Introduction In this paper we consider a notion of “equinumerosity” on sets of tuples of natural numbers, i.e. an equivalence relation, finer than equicardinality, that satisfies the celebrated five Euclidean common notions about magnitudines ([8]), including the principle that “the whole is greater than the part”. This notion preserves the basic properties of equipotency for finite sets. In particular, the natural Cantorian definitions endow the corresponding numerosities with a structure of a discretely ordered semiring, where 0 is the size of the emptyset, 1 is the size of every singleton, and greater numerosity corresponds to supersets. This idea of “Euclidean” numerosity has been recently investigated by V. -
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 푐푙(푖푛푡(퐴)) ⊆ 퐴. -
The Boundary Manifold of a Complex Line Arrangement
Geometry & Topology Monographs 13 (2008) 105–146 105 The boundary manifold of a complex line arrangement DANIEL CCOHEN ALEXANDER ISUCIU We study the topology of the boundary manifold of a line arrangement in CP2 , with emphasis on the fundamental group G and associated invariants. We determine the Alexander polynomial .G/, and more generally, the twisted Alexander polynomial associated to the abelianization of G and an arbitrary complex representation. We give an explicit description of the unit ball in the Alexander norm, and use it to analyze certain Bieri–Neumann–Strebel invariants of G . From the Alexander polynomial, we also obtain a complete description of the first characteristic variety of G . Comparing this with the corresponding resonance variety of the cohomology ring of G enables us to characterize those arrangements for which the boundary manifold is formal. 32S22; 57M27 For Fred Cohen on the occasion of his sixtieth birthday 1 Introduction 1.1 The boundary manifold Let A be an arrangement of hyperplanes in the complex projective space CPm , m > 1. Denote by V S H the corresponding hypersurface, and by X CPm V its D H A D n complement. Among2 the origins of the topological study of arrangements are seminal results of Arnol’d[2] and Cohen[8], who independently computed the cohomology of the configuration space of n ordered points in C, the complement of the braid arrangement. The cohomology ring of the complement of an arbitrary arrangement A is by now well known. It is isomorphic to the Orlik–Solomon algebra of A, see Orlik and Terao[34] as a general reference. -
Base-Paracompact Spaces
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 128 (2003) 145–156 www.elsevier.com/locate/topol Base-paracompact spaces John E. Porter Department of Mathematics and Statistics, Faculty Hall Room 6C, Murray State University, Murray, KY 42071-3341, USA Received 14 June 2001; received in revised form 21 March 2002 Abstract A topological space is said to be totally paracompact if every open base of it has a locally finite subcover. It turns out this property is very restrictive. In fact, the irrationals are not totally paracompact. Here we give a generalization, base-paracompact, to the notion of totally paracompactness, and study which paracompact spaces satisfy this generalization. 2002 Elsevier Science B.V. All rights reserved. Keywords: Paracompact; Base-paracompact; Totally paracompact 1. Introduction A topological space X is paracompact if every open cover of X has a locally finite open refinement. A topological space is said to be totally paracompact if every open base of it has a locally finite subcover. Corson, McNinn, Michael, and Nagata announced [3] that the irrationals have a basis which does not have a locally finite subcover, and hence are not totally paracompact. Ford [6] was the first to give the definition of totally paracompact spaces. He used this property to show the equivalence of the small and large inductive dimension in metric spaces. Ford also showed paracompact, locally compact spaces are totally paracompact. Lelek [9] studied totally paracompact and totally metacompact separable metric spaces. He showed that these two properties are equivalent in separable metric spaces. -
Graph Manifolds and Taut Foliations Mark Brittenham1, Ramin Naimi, and Rachel Roberts2 Introduction
Graph manifolds and taut foliations 1 2 Mark Brittenham , Ramin Naimi, and Rachel Roberts UniversityofTexas at Austin Abstract. We examine the existence of foliations without Reeb comp onents, taut 1 1 foliations, and foliations with no S S -leaves, among graph manifolds. We show that each condition is strictly stronger than its predecessors, in the strongest p os- sible sense; there are manifolds admitting foliations of eachtyp e which do not admit foliations of the succeeding typ es. x0 Introduction Taut foliations have b een increasingly useful in understanding the top ology of 3-manifolds, thanks largely to the work of David Gabai [Ga1]. Many 3-manifolds admit taut foliations [Ro1],[De],[Na1], although some do not [Br1],[Cl]. To date, however, there are no adequate necessary or sucient conditions for a manifold to admit a taut foliation. This pap er seeks to add to this confusion. In this pap er we study the existence of taut foliations and various re nements, among graph manifolds. What we show is that there are many graph manifolds which admit foliations that are as re ned as wecho ose, but which do not admit foliations admitting any further re nements. For example, we nd manifolds which admit foliations without Reeb comp onents, but no taut foliations. We also nd 0 manifolds admitting C foliations with no compact leaves, but which do not admit 2 any C such foliations. These results p oint to the subtle nature b ehind b oth top ological and analytical assumptions when dealing with foliations. A principal motivation for this work came from a particularly interesting exam- ple; the manifold M obtained by 37/2 Dehn surgery on the 2,3,7 pretzel knot K .