A mathematician s view on Three gives birth to innumerable things

Size: px
Start display at page:

Download "A mathematician s view on Three gives birth to innumerable things"

Transcription

1 A mathematician s view on Three gives birth to innumerable things Qinghai Zhang Department of Mathematics, University of Utah, 155 S E., Rm 233, Salt Lake City UT Abstract Philosophy underlies science while science manifests philosophy; The same statement applies to Daoism and mathematics. In this paper the author discusses the connection between general topology and a famous passage in Dao De Jing: Dao gives birth to One; One gives birth to Two; Two gives birth to Three; Three gives birth to innumerable things. It is usually accepted that the two here refers to Yin and Yang, but what is the meaning of three? why does three give birth to all things? The author answers these questions in the language of general topology and show that the cited Daoism paragraph encompasses almost the entire range of modern mathematics. Key words: Yin and Yang; Open and closed sets; Topological spaces; measure; Tai-Chi; Turbulence modeling; 1 Introduction Most doctoral degrees awarded in science and engineering are termed as doctors of philosophy (Ph.D.), instead of doctor of mathematics, doctor of physics, doctor of chemistry, doctor of environmental engineering, and so on. This fact points to a common notion that Philosophy underlies science while science manifests philosophy. Among the scientific disciplines, the role of mathematics to various engineering disciplines is analogous to the role of philosophy to various scientific disciplines. The relations can be very well explained by an everyday example on water: we use water for cooking soup, making coffee, or taking a shower. The act of cooking soup or making coffee is relatively easy compared to distilling and purifying natural water. On the one hand, once water gets into the form of soup or coffee, it loses its generality in that it would be not suitable for a shower (unless one loves such a shower); on the 6th International Conference on Daoist Studies LMU, June

2 other hand, it is due to the needs of soup, coffee, and shower that water is useful. What is mathematics then? Mathematics used to be limited to calculating numbers; but nowadays mathematicians have agreed that mathematics is the science of patterns [1]. To name a few examples, number theory studies the patterns of numbers, geometry studies the patterns of shape, calculus studies the patterns of motion, logic studies the patterns of reasoning, and topology studies the patterns of topological properties. Daoism bibles such as Dao De Jing also concerns patterns, e.g., a famous passage goes as Dao gives birth to One; One gives birth to Two; Two gives birth to Three; Three gives birth to innumerable things; Philosophical patterns like this are not as precise as those in mathematics. If this is considered as a disadvantage, this is also a big advantage in that philosophical patterns can be applied to different disciplines and sometimes inspire scientific work. In this paper, the author connnects the quoted paragraph to basic concepts of general topology[2], a fundamental subject of modern mathematics. In the language of topology, One is the chosen topology of a certain set; Two are the concepts of open and closed; in addition to Two, Three also includes the concept of metric, which produces various metric spaces widely used in modern mathematics. 2 One gives birth to Two As long as we are discussing something, we already fall out of the realm of Dao gives birth to One, one interpretation of which is nothing produces something. So we might as well just start from the second sentence. We are so familar with the concepts of Yin and Yang. After all, we are living in a world full of dichotomy: day and night, man and woman, good and bad, right and wrong. In the realm of topology, Yin and Yang correspond naturally to the concepts of open and closed. Axiom 1 Let X be a non-empty set. A class T of subsets of X is a topology on X iff T satisfies (1) X and belong to T; (2) The union of any number of sets in T belongs to T; 2

3 (3) The intersection of any two sets in T belongs to T ; The members of T are called T -open sets, and the pair (X,T ) is called a topological space. Definition 2 Let X be a topological space. A subset A of X is a closed set iff its complement is an open set. Theorem 3 Let X be a topological space. Then the class of closed subsets of X possesses the following properties: (1) X and are closed sets; (2) The intersection of any closed sets is closed; (3) The union of any two closed sets is closed. Proposition 4 In a topological space X, a subset of A is open iff its complement is closed. One common example of topology is the usual topology in the Euclidean plane. Let an open disc D R 2 be denoted by D = {q : d(q,o) < δ}, where o and δ > 0 are the center and the radius of the disc, d(q,o) is the distance between q and o. Let A be a subset of R 2, a point p A is an interior point of A iff there exists an open disc D p such that p D p A. The set A is open iff each of its points is an interior point. The whole plane is clearly an open set since for any give point, we can find inside the plane an open disc containing the point. It can be easily verified that the set of all open sets in the plane is a topology, i.e., it satisfies all the conditions in Axiom 1, as shown in Fig. 1. This topology, known as the usual topology in the plane, is connected to a famous saying in Daoism, (The Dao is) the smallest that there is no interior to it, and the biggest that there is no exterior to it. Given any non-empty open set, there is always another open set contained in this set by the definition of interior point. The plane does not have an exterior boundary; suppose it does, like the closed disc shown in Fig. 2 (b), the points on its boundary are not interior points and it would not be open. As soon as the topology is chosen, the question of which elements are open and which elements are closed is already determined, in the sense of Definition 2, Theorem 3, and Proposition 4. It is in this sense that we say One gives birth to Two in topology. Naively one might believe that that everything is either yin or yang. This is not true. As far as open and closed sets are concerned, a set might be open, 3

4 (a) an open disc (b) an closed disc D 1 D 2 (c) intersecting two open discs Fig. 1. Usual topology. closed, or both, or neither. Consider the following example [3]: X = {a,b,c,d,e}; T = { X,,{a},{c,d},{a,c,d},{b,c,d,e} }. (1) X,,{b,c,d,e},{a,b,e},{b,e},{a} are the closed subsets of X; Some subsets such as X and {a} are both open and closed; Some subsets of X such as {a,b} and {a,d} are neither open nor closed. The open set {a,c,d} contains the closed set {a}; the closed set {b,c,d,e} contains the open set {c,d}. This example illustrates two important notions concerning Yin and Yang (I) Yin and Yang are inseparable; (II) Yin contains Yang and Yang contain Yin. The first notion is exemplified by the fact that some sets such as X are both open and closed. The second notion is exemplified by the fact that an open set might contain a closed set and vice versa. In the following, more concepts are defined to demonstrate the notion that (III) Yin and Yang convert to each other. 4

5 For this purpose, we precisely define limit point and closure. Definition 5 A point p X is called an accumulationpoint, or a limitpoint, or a cluster point, or a derived point of a subset A of X iff every open set containing p contains a point of A different from p. G open and p G (G\p) A The set of accumulation points of A is called the derived set of A. Theorem 6 A subset A of a topological space X is closed if and only if A contains each of its accumulation points. Definition 7 Let A be a subset of a topological space X. Then the closure of A is the union of A and its derived set. Axiom 8 (Kuratowski Closure Axiom) The closure operator satsifies (1) cl( ) = ; (2) A cl(a); (3) cl(a B) = cl(a) cl(b); (4) cl(cl(a)) = cl(a). From Definition 5 to Axiom 8, the closure operator converts an open set to a closed set. To convert a closed set to an open set, we need to define precisely the notions of interior, exterior, and boundary. Definition 9 Let A be subset of a topological space X. A point p A is called an interior point of A if p belongs to an open set contained in A. The set of interior points of A is called the interior of A. Proposition 10 The interior of a set A, int(a), is the union of all open subsets of A. Furthermore, (1) int(a) is open; (2) int(a) is the largest open subset of A; (3) A is open iff A = int(a). Definition 11 The exterior of A, ext(a), is the interior of the complement of A. The boundary of A, bry(a), is the set of points that belongs to neither int(a) nor ext(a). To convert a closed set to the largest open subset within it, we can set-minus its boundary from it. Note that the concept of interior and exterior defined as above are more general than their counterparts in the plane. Consider example (1) and the subset A = {b,c,d} of X, int(a) = {c,d} since {c,d} is a T -open set; ext(a) = {a} since the complement of A is {a,e} and {a} is an open set; 5

6 bry(a) = {b,e} since the interior of A s complement is {a}. Definition 12 Let p be a point in a topological space X. If G is an open set containing p, then G is called an open neighborhood of p. A subset N of X is a neighborhood of p if N is a superset of an open set G that contains p. The class of all neighborhoods of p X, denoted by N p, is called the neighborhood system of p. N is a neighborhood of p is the inverse of the relation p is an interior point of N. Here the opposing property of Yin and Yang are reflected functionally. ByDefinition2,aset A X isclosediffx\aisopen,i.e., iffp X\Aimplies p has a neighborhood contained in X \A, or, disjoint from A. Consequently, A is closed iff every neighborhood of x intersects A implies x A. Definition 13 A sequence of points a i, i = 1,2,..., in a topological space X converges to a point b X iff for each open set G containing b there exists a positive integer n 0 such that n > n 0 implies a n G. The above concept of convergence, due to Cauchy, revolutionized the subject of mathematics. It connects to a major piece of philosophy: if the difference between A and B are as small as one wishes, A and B are the same. We can also say the difference of A and B are the smallest. Starting from the primary concept of open sets, we have defined other derived concepts such as interior, exterior, closure, boundary, neighborhood systems. It is possible that we choose the primary concept as neighborhood systems or closure to derive other concepts, as the following two theorems show. This illustrates an important principle that truth of the universe does not depend on the language used for description. Theorem 14 Let X be a non-empty set and let there be assigned to each point p X a class A p of subsets of X satisfying the following axioms: (1) A p is not empty and p belongs to each member of A p ; (2) the intersection of any two members of A p belongs to A p ; (3) every superset of a member of A p belongs to A p ; (4) each member N A p is a superset of a member G A p such that G A g for every g G, then there exists one and only one topology T on X such that A p is the T - neighborhood system of the point p X. Theorem 15 Let X be a non-empty set and let k be an operation which assigns to each subset A of X the subset A k of X, satisfying the following axioms, called the Kuratowski Axioms: 6

7 (1) k = ; (2) A A k ; (3) (A B) k = A k B k ; (4) (A k ) k = A k, then there exists one and only one topology T on X such that A k will be the T -closure of the subset A of X. 3 Two gives birth to Three Yin and Yang represent the two ends of a dichotomy, such as big and small, reckless and timid, substantial and insubstantial, etc. However, frequently we have to ask the question: how small is small? how timid is timid? how substantial is substantial? The full spectrum of being timid or reckless can be divided into three parts: the timid, the brave/cautious, and the reckless. More often than not one wants to be brave, but neither timid nor reckless. In this sense, a dichotomy often give birth to a third concept naturally. However, the above interpretation are not satisfactory in two facets. Firstly, there are discrete dichotomies that do not extend to a continuous interval, e.g., the open-closed sets elaborated in the last section. Secondly, even for dichotomies that do have a continuous interval, it only defers the question to the next level rather than answers it, since one can ask again: what is the fine line between the timid and the brave? Hence to answer the question that how brave is brave, we need a criteria to judge how timid is timid and how brave is brave. It is this criteria that should be interpreted as the third one, which in mathematics follows from quantification, and leads to the concept of metric in general topology. Definition 16 Let X be a non-empty set. A real-valued function d defined on X X, i.e., ordered pairs of elements in X is called a metric or distance function on X iff it satisfies the following axioms: (1) d(a,b) 0 and d(a,a) = 0; (2) d(a,b) = d(b,a); (3) d(a,c) d(a,b)+d(b,c); (4) If a b, then d(a,b) > 0. The real number d(a,b) is called the distance from a to b. The most familiar metric to us is the Euclidean metric, or simply the distance between two points as the length of the straight-line segment connecting them. Definition 16 generalizes the Euclidean metric by capturing the four essential 7

8 (a) Metric (2a) 1 (b) Metric (2b) 1 (c) Metric (2c) properties of it. Fig. 2. Different shapes of the open sphere for different metric. 4 Three gives birth to innumerable things Metric together with open and closed sets give birth to a wide range of mathematical objects. Definition 17 Let d be a metric on a set X. For any point p X and any real number δ > 0, let S d (p,δ) denote the set of points within a distance of δ from p: S d (p,δ) = {x : d(p,x) < δ}, which is called the open sphere, or simply sphere with center p and radius δ. It is also called a spherical neighborhood or ball. Three examples of the metric in the Euclidean plane are d 1 (p,q) = (x p x q ) 2 +(y p y q ) 2 (2a) d 2 (p,q) = max( x p x q, y p y q ) d 3 (p,q) = x p x q + y p y q (2b) (2c) Consider the point p = (0,0) in the Euclidean plane and the real number δ = 1. The three metrics in (2) are the subsets of R 2 illustrated in Fig. 2. By changing the metric function to different forms, we obtain different shapes of the open sphere in Euclidean geometry. In Riemann geometry, there exists interesting and useful metrics that lead to Einstein s general relativity theory. The three objects, metric, open, and closed, are united in the concept of metric space. Definition 18 Let d be a metric on a non-empty set X. The topology T on X generated by the class of open spheres in X is called the metric topology 8

9 (or, the topology induced by the metric d). Furthermore, the set X together with the topology T induced by the metric d is called a metric space. Metric space can be defined in various ways, depending on the associated set of objects and the metric. One famous example is Hilbert space. Definition 19 Let R deonte the class of all infinite real sequences that converges. Let p = p n, q = q n denote two sequences that belong to R. The function d(p,q) = p n q n 2 n=1 is a metric and called the l 2 -metric on R. The metric space consisting of R with the l 2 metric is called Hibert space. Other well-known metric spaces include Sobolev space and Banach space; the study of these metric spaces is one of the main topics in the analysis branch of modern mathematics [4 6]. 5 Conclusion The concepts of open and closed sets in general topology furnish a precise and rigorous example of Yin and Yang since their definitions satisfy major principles of the Yin and Yang theory. The metric space that unites the three concepts of open, closed, and metric has innumerable applications in modern mathematics. Acknowledgements TheauthorhaswouldliketothankMasterYuanmingZhangforhisteachingof Daoism physical exercises such as breathing techniques and internal alchemy. References [1] K. J. Devlin. Sets, functions, and logic: an introduction to abstract mathematics. Chapman & Hall/CRC, third edition, ISBN: [2] J. L. Kelley. General Topology. Springer-Verlag, ISBN: [3] S. Lipschutz. General Topology. Schaum s Outline of Theory and Problems. McGraw-Hill, ISBN:

10 [4] H. L. Royden. Real Analysis. Prentice Hall, third edition, ISBN: [5] W. Rudin. Real and complex analysis. McGraw-Hill Science, third edition, ISBN: [6] W. Rudin. Functional analysis. McGraw-Hill Science, second edition, ISBN:

Topology notes. Basic Definitions and Properties.

Topology 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 information

Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012)

Topology 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 information

Section 17. Closed Sets and Limit Points

Section 17. Closed Sets and Limit Points 17. Closed Sets and Limit Points 1 Section 17. Closed Sets and Limit Points Note. In this section, we finally define a closed set. We also introduce several traditional topological concepts, such as limit

More information

Lectures on Order and Topology

Lectures on Order and Topology Lectures on Order and Topology Antonino Salibra 17 November 2014 1 Topology: main definitions and notation Definition 1.1 A topological space X is a pair X = ( X, OX) where X is a nonempty set and OX is

More information

MA651 Topology. Lecture 4. Topological spaces 2

MA651 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 information

Open and Closed Sets

Open and Closed Sets Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.

More information

Topological space - Wikipedia, the free encyclopedia

Topological space - Wikipedia, the free encyclopedia Page 1 of 6 Topological space From Wikipedia, the free encyclopedia Topological spaces are mathematical structures that allow the formal definition of concepts such as convergence, connectedness, and continuity.

More information

A Flavor of Topology. Shireen Elhabian and Aly A. Farag University of Louisville January 2010

A Flavor of Topology. Shireen Elhabian and Aly A. Farag University of Louisville January 2010 A Flavor of Topology Shireen Elhabian and Aly A. Farag University of Louisville January 2010 In 1670 s I believe that we need another analysis properly geometric or linear, which treats place directly

More information

Chapter 11. Topological Spaces: General Properties

Chapter 11. Topological Spaces: General Properties 11.1. Open Sets, Closed Sets, Bases, and Subbases 1 Chapter 11. Topological Spaces: General Properties Section 11.1. Open Sets, Closed Sets, Bases, and Subbases Note. In this section, we define a topological

More information

POINT SET TOPOLOGY. Introduction

POINT SET TOPOLOGY. Introduction POINT SET TOPOLOGY Introduction In order to establish a foundation for topological evolution, an introduction to topological ideas and definitions is presented in terms of point set methods for which the

More information

Walheer Barnabé. Topics in Mathematics Practical Session 2 - Topology & Convex

Walheer Barnabé. Topics in Mathematics Practical Session 2 - Topology & Convex Topics in Mathematics Practical Session 2 - Topology & Convex Sets Outline (i) Set membership and set operations (ii) Closed and open balls/sets (iii) Points (iv) Sets (v) Convex Sets Set Membership and

More information

A Little Point Set Topology

A Little Point Set Topology A Little Point Set Topology A topological space is a generalization of a metric space that allows one to talk about limits, convergence, continuity and so on without requiring the concept of a distance

More information

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

THREE 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 information

Lecture : Topological Space

Lecture : Topological Space Example of Lecture : Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Example of 1 2 3 Example of 4 5 6 Example of I Topological spaces and continuous

More information

2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to

2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to 2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to be connected if it is not disconnected. A subset of

More information

INTRODUCTION TO TOPOLOGY

INTRODUCTION 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 information

= [ U 1 \ U 2 = B \ [ B \ B.

= [ U 1 \ U 2 = B \ [ B \ B. 5. Mon, Sept. 8 At the end of class on Friday, we introduced the notion of a topology, and I asked you to think about how many possible topologies there are on a 3-element set. The answer is... 29. The

More information

1 Point Set Topology. 1.1 Topological Spaces. CS 468: Computational Topology Point Set Topology Fall 2002

1 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 information

Notes 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 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 information

Chapter 2 Notes on Point Set Topology

Chapter 2 Notes on Point Set Topology Chapter 2 Notes on Point Set Topology Abstract The chapter provides a brief exposition of point set topology. In particular, it aims to make readers from the engineering community feel comfortable with

More information

Sets. De Morgan s laws. Mappings. Definition. Definition

Sets. De Morgan s laws. Mappings. Definition. Definition Sets Let X and Y be two sets. Then the set A set is a collection of elements. Two sets are equal if they contain exactly the same elements. A is a subset of B (A B) if all the elements of A also belong

More information

Notes on Topology. Andrew Forrester January 28, Notation 1. 2 The Big Picture 1

Notes on Topology. Andrew Forrester January 28, Notation 1. 2 The Big Picture 1 Notes on Topology Andrew Forrester January 28, 2009 Contents 1 Notation 1 2 The Big Picture 1 3 Fundamental Concepts 2 4 Topological Spaces and Topologies 2 4.1 Topological Spaces.........................................

More information

A Tour of General Topology Chris Rogers June 29, 2010

A Tour of General Topology Chris Rogers June 29, 2010 A Tour of General Topology Chris Rogers June 29, 2010 1. The laundry list 1.1. Metric and topological spaces, open and closed sets. (1) metric space: open balls N ɛ (x), various metrics e.g. discrete metric,

More information

Elementary Topology. Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way.

Elementary Topology. Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way. Elementary Topology Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way. Definition. properties: (i) T and X T, A topology on

More information

Characterization of Boolean Topological Logics

Characterization of Boolean Topological Logics Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics Anthony R. Fressola Denison University Granville, OH 43023 University of Illinois Urbana-Champaign, IL USA 61801-61802

More information

A Quick Introduction to Non-Euclidean Geometry. A Tiling of the Poincare Plane From Geometry: Plane and Fancy, David Singer, page 61.

A Quick Introduction to Non-Euclidean Geometry. A Tiling of the Poincare Plane From Geometry: Plane and Fancy, David Singer, page 61. A Quick Introduction to Non-Euclidean Geometry A Tiling of the Poincare Plane From Geometry: Plane and Fancy, David Singer, page 61. Dr. Robert Gardner Presented at Science Hill High School March 22, 2006

More information

Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS

Point-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 information

M3P1/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. 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 information

Lecture-12: Closed Sets

Lecture-12: Closed Sets and Its Examples Properties of Lecture-12: Dr. Department of Mathematics Lovely Professional University Punjab, India October 18, 2014 Outline Introduction and Its Examples Properties of 1 Introduction

More information

On Soft Topological Linear Spaces

On 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 information

Topology Homework 3. Section Section 3.3. Samuel Otten

Topology Homework 3. Section Section 3.3. Samuel Otten Topology Homework 3 Section 3.1 - Section 3.3 Samuel Otten 3.1 (1) Proposition. The intersection of finitely many open sets is open and the union of finitely many closed sets is closed. Proof. Note that

More information

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY

A 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 information

Johns Hopkins Math Tournament Proof Round: Point Set Topology

Johns Hopkins Math Tournament Proof Round: Point Set Topology Johns Hopkins Math Tournament 2019 Proof Round: Point Set Topology February 9, 2019 Problem Points Score 1 3 2 6 3 6 4 6 5 10 6 6 7 8 8 6 9 8 10 8 11 9 12 10 13 14 Total 100 Instructions The exam is worth

More information

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).

However, 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 information

1 of 7 7/15/2009 3:40 PM Virtual Laboratories > 1. Foundations > 1 2 3 4 5 6 7 8 9 1. Sets Poincaré's quote, on the title page of this chapter could not be more wrong (what was he thinking?). Set theory

More information

Final Exam, F11PE Solutions, Topology, Autumn 2011

Final 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 information

Topic: Orientation, Surfaces, and Euler characteristic

Topic: Orientation, Surfaces, and Euler characteristic Topic: Orientation, Surfaces, and Euler characteristic The material in these notes is motivated by Chapter 2 of Cromwell. A source I used for smooth manifolds is do Carmo s Riemannian Geometry. Ideas of

More information

Chapter One Topological Spaces

Chapter One Topological Spaces Chapter One Topological Spaces Definition. A collection T of subsets of a set X is a topology if a) and X are elements of T; b) the intersection of any two elements of T is an element of T; and c) the

More information

EULER S FORMULA AND THE FIVE COLOR THEOREM

EULER S FORMULA AND THE FIVE COLOR THEOREM EULER S FORMULA AND THE FIVE COLOR THEOREM MIN JAE SONG Abstract. In this paper, we will define the necessary concepts to formulate map coloring problems. Then, we will prove Euler s formula and apply

More information

Math 734 Aug 22, Differential Geometry Fall 2002, USC

Math 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 information

On Binary Generalized Topological Spaces

On Binary Generalized Topological Spaces General Letters in Mathematics Vol. 2, No. 3, June 2017, pp.111-116 e-issn 2519-9277, p-issn 2519-9269 Available online at http:// www.refaad.com On Binary Generalized Topological Spaces Jamal M. Mustafa

More information

Basics of Combinatorial Topology

Basics 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 information

Topology - I. Michael Shulman WOMP 2004

Topology - 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 information

Sets 1. The things in a set are called the elements of it. If x is an element of the set S, we say

Sets 1. The things in a set are called the elements of it. If x is an element of the set S, we say Sets 1 Where does mathematics start? What are the ideas which come first, in a logical sense, and form the foundation for everything else? Can we get a very small number of basic ideas? Can we reduce it

More information

Math 5593 Linear Programming Lecture Notes

Math 5593 Linear Programming Lecture Notes Math 5593 Linear Programming Lecture Notes Unit II: Theory & Foundations (Convex Analysis) University of Colorado Denver, Fall 2013 Topics 1 Convex Sets 1 1.1 Basic Properties (Luenberger-Ye Appendix B.1).........................

More information

1 Introduction and Review

1 Introduction and Review Figure 1: The torus. 1 Introduction and Review 1.1 Group Actions, Orbit Spaces and What Lies in Between Our story begins with the torus, which we will think of initially as the identification space pictured

More information

Extension as the background of substance a formal approach

Extension as the background of substance a formal approach Extension as the background of substance a formal approach Bart lomiej Skowron Wroc law University The Pontifical University of John Paul II, Kraków bartlomiej.skowron@gmail.com February 11, 2013 Presentation

More information

Math 395: Topology. Bret Benesh (College of Saint Benedict/Saint John s University)

Math 395: Topology. Bret Benesh (College of Saint Benedict/Saint John s University) Math 395: Topology Bret Benesh (College of Saint Benedict/Saint John s University) October 30, 2012 ii Contents Acknowledgments v 1 Topological Spaces 1 2 Closed sets and Hausdorff spaces 7 iii iv CONTENTS

More information

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

Planar 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 information

THE UNIFORMIZATION THEOREM AND UNIVERSAL COVERS

THE UNIFORMIZATION THEOREM AND UNIVERSAL COVERS THE UNIFORMIZATION THEOREM AND UNIVERSAL COVERS PETAR YANAKIEV Abstract. This paper will deal with the consequences of the Uniformization Theorem, which is a major result in complex analysis and differential

More information

Chapter 1. Preliminaries

Chapter 1. Preliminaries Chapter 1 Preliminaries 1.1 Topological spaces 1.1.1 The notion of topological space The topology on a set X is usually defined by specifying its open subsets of X. However, in dealing with topological

More information

Chapter 2 Topological Spaces and Continuity

Chapter 2 Topological Spaces and Continuity Chapter 2 Topological Spaces and Continuity Starting from metric spaces as they are familiar from elementary calculus, one observes that many properties of metric spaces like the notions of continuity

More information

2. Metric and Topological Spaces

2. Metric and Topological Spaces 2 Metric and Topological Spaces Topology begins where sets are implemented with some cohesive properties enabling one to define continuity Solomon Lefschetz In order to forge a language of continuity,

More information

TOWARDS FORMING THE FIELD OF FUZZY CLOSURE WITH REFERENCE TO FUZZY BOUNDARY

TOWARDS FORMING THE FIELD OF FUZZY CLOSURE WITH REFERENCE TO FUZZY BOUNDARY TOWARDS FORMING THE FIELD OF FUZZY CLOSURE WITH REFERENCE TO FUZZY BOUNDARY Bhimraj Basumatary Department of Mathematical Sciences, Bodoland University Kokrajhar, BTC, Assam, India, 783370 brbasumatary14@gmail.com

More information

Metric and metrizable spaces

Metric and metrizable spaces Metric and metrizable spaces These notes discuss the same topic as Sections 20 and 2 of Munkres book; some notions (Symmetric, -metric, Ψ-spaces...) are not discussed in Munkres book.. Symmetric, -metric,

More information

BOUNDARY AND EXTERIOR OF A MULTISET TOPOLOGY

BOUNDARY AND EXTERIOR OF A MULTISET TOPOLOGY http://www.newtheory.org ISSN: 2149-1402 Received: 30.11.2015 Year: 2016, Number: 12, Pages: 75-84 Accepted: 11.04.2016 Original Article ** BOUNDARY AND EXTERIOR OF A MULTISET TOPOLOGY Debaroti Das 1,*

More information

Division of the Humanities and Social Sciences. Convex Analysis and Economic Theory Winter Separation theorems

Division of the Humanities and Social Sciences. Convex Analysis and Economic Theory Winter Separation theorems Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 8: Separation theorems 8.1 Hyperplanes and half spaces Recall that a hyperplane in

More information

Vesa Halava Tero Harju. Walks on Borders of Polygons

Vesa Halava Tero Harju. Walks on Borders of Polygons Vesa Halava Tero Harju Walks on Borders of Polygons TUCS Technical Report No 698, June 2005 Walks on Borders of Polygons Vesa Halava Tero Harju Department of Mathematics and TUCS - Turku Centre for Computer

More information

In class 75min: 2:55-4:10 Thu 9/30.

In class 75min: 2:55-4:10 Thu 9/30. MATH 4530 Topology. In class 75min: 2:55-4:10 Thu 9/30. Prelim I Solutions Problem 1: Consider the following topological spaces: (1) Z as a subspace of R with the finite complement topology (2) [0, π]

More information

TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.

TOPOLOGY, 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 information

Topology problem set Integration workshop 2010

Topology problem set Integration workshop 2010 Topology problem set Integration workshop 2010 July 28, 2010 1 Topological spaces and Continuous functions 1.1 If T 1 and T 2 are two topologies on X, show that (X, T 1 T 2 ) is also a topological space.

More information

Introduction to Algebraic and Geometric Topology Week 5

Introduction to Algebraic and Geometric Topology Week 5 Introduction to Algebraic and Geometric Topology Week 5 Domingo Toledo University of Utah Fall 2017 Topology of Metric Spaces I (X, d) metric space. I Recall the definition of Open sets: Definition U

More information

International Journal of Scientific & Engineering Research, Volume 7, Issue 2, February ISSN

International Journal of Scientific & Engineering Research, Volume 7, Issue 2, February ISSN International Journal of Scientific & Engineering Research, Volume 7, Issue 2, February-2016 149 KEY PROPERTIES OF HESITANT FUZZY SOFT TOPOLOGICAL SPACES ASREEDEVI, DRNRAVI SHANKAR Abstract In this paper,

More information

Some new higher separation axioms via sets having non-empty interior

Some new higher separation axioms via sets having non-empty interior Bhat & Das, Cogent Mathematics (015), : 109695 http://dx.doi.org/10.1080/3311835.015.109695 PURE MATHEMATICS RESEARCH ARTICLE Some new higher separation axioms via sets having non-empty interior Pratibha

More information

XI International PhD Workshop OWD 2009, October Fuzzy Sets as Metasets

XI International PhD Workshop OWD 2009, October Fuzzy Sets as Metasets XI International PhD Workshop OWD 2009, 17 20 October 2009 Fuzzy Sets as Metasets Bartłomiej Starosta, Polsko-Japońska WyŜsza Szkoła Technik Komputerowych (24.01.2008, prof. Witold Kosiński, Polsko-Japońska

More information

Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC January 26, 2011

Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC   January 26, 2011 Graph Theory Martin Stynes Department of Mathematics, UCC email: m.stynes@ucc.ie January 26, 2011 1 Introduction to Graphs 1 A graph G = (V, E) is a non-empty set of nodes or vertices V and a (possibly

More information

On Fuzzy Topological Spaces Involving Boolean Algebraic Structures

On Fuzzy Topological Spaces Involving Boolean Algebraic Structures Journal of mathematics and computer Science 15 (2015) 252-260 On Fuzzy Topological Spaces Involving Boolean Algebraic Structures P.K. Sharma Post Graduate Department of Mathematics, D.A.V. College, Jalandhar

More information

Notes on categories, the subspace topology and the product topology

Notes on categories, the subspace topology and the product topology Notes on categories, the subspace topology and the product topology John Terilla Fall 2014 Contents 1 Introduction 1 2 A little category theory 1 3 The subspace topology 3 3.1 First characterization of

More information

Real Analysis, 2nd Edition, G.B.Folland

Real Analysis, 2nd Edition, G.B.Folland Real Analysis, 2nd Edition, G.B.Folland Chapter 4 Point Set Topology Yung-Hsiang Huang 4.1 Topological Spaces 1. If card(x) 2, there is a topology on X that is T 0 but not T 1. 2. If X is an infinite set,

More information

4 Basis, Subbasis, Subspace

4 Basis, Subbasis, Subspace 4 Basis, Subbasis, Subspace Our main goal in this chapter is to develop some tools that make it easier to construct examples of topological spaces. By Definition 3.12 in order to define a topology on a

More information

Excerpts from. Introduction to Modern Topology and Geometry. Anatole Katok Alexey Sossinsky

Excerpts from. Introduction to Modern Topology and Geometry. Anatole Katok Alexey Sossinsky Excerpts from Introduction to Modern Topology and Geometry Anatole Katok Alexey Sossinsky Contents Chapter 1. BASIC TOPOLOGY 3 1.1. Topological spaces 3 1.2. Continuous maps and homeomorphisms 6 1.3.

More information

Topology and Topological Spaces

Topology and Topological Spaces Topology and Topological Spaces Mathematical spaces such as vector spaces, normed vector spaces (Banach spaces), and metric spaces are generalizations of ideas that are familiar in R or in R n. For example,

More information

Mathematical Morphology and Distance Transforms. Robin Strand

Mathematical Morphology and Distance Transforms. Robin Strand Mathematical Morphology and Distance Transforms Robin Strand robin.strand@it.uu.se Morphology Form and structure Mathematical framework used for: Pre-processing Noise filtering, shape simplification,...

More information

3.1 Constructions with sets

3.1 Constructions with sets 3 Interlude on sets Sets and functions are ubiquitous in mathematics. You might have the impression that they are most strongly connected with the pure end of the subject, but this is an illusion: think

More information

Mathematics Mathematics Applied mathematics Mathematics

Mathematics Mathematics Applied mathematics Mathematics Mathematics Mathematics is the mother of science. It applies the principles of physics and natural sciences for analysis, design, manufacturing and maintenance of systems. Mathematicians seek out patterns

More information

H = {(1,0,0,...),(0,1,0,0,...),(0,0,1,0,0,...),...}.

H = {(1,0,0,...),(0,1,0,0,...),(0,0,1,0,0,...),...}. II.4. Compactness 1 II.4. Compactness Note. Conway states on page 20 that the concept of compactness is an extension of benefits of finiteness to infinite sets. I often state this idea as: Compact sets

More information

Laguerre Planes: A Basic Introduction

Laguerre Planes: A Basic Introduction Laguerre Planes: A Basic Introduction Tam Knox Spring 2009 1 1 Introduction Like a projective plane, a Laguerre plane is a type of incidence structure, defined in terms of sets of elements and an incidence

More information

and this equivalence extends to the structures of the spaces.

and this equivalence extends to the structures of the spaces. Homeomorphisms. A homeomorphism between two topological spaces (X, T X ) and (Y, T Y ) is a one - one correspondence such that f and f 1 are both continuous. Consequently, for every U T X there is V T

More information

Surfaces Beyond Classification

Surfaces 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 information

TOPOLOGY CHECKLIST - SPRING 2010

TOPOLOGY CHECKLIST - SPRING 2010 TOPOLOGY CHECKLIST - SPRING 2010 The list below serves as an indication of what we have covered in our course on topology. (It was written in a hurry, so there is a high risk of some mistake being made

More information

Definition 1 (Hand-shake model). A hand shake model is an incidence geometry for which every line has exactly two points.

Definition 1 (Hand-shake model). A hand shake model is an incidence geometry for which every line has exactly two points. Math 3181 Dr. Franz Rothe Name: All3181\3181_spr13t1.tex 1 Solution of Test I Definition 1 (Hand-shake model). A hand shake model is an incidence geometry for which every line has exactly two points. Definition

More information

4. Definition: topological space, open set, topology, trivial topology, discrete topology.

4. 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 information

Topology Between Two Sets

Topology Between Two Sets Journal of Mathematical Sciences & Computer Applications 1 (3): 95 107, 2011 doi: 10.5147/jmsca.2011.0071 Topology Between Two Sets S. Nithyanantha Jothi 1 and P. Thangavelu 2* 1 Department of Mathematics,

More information

6.3 Poincare's Theorem

6.3 Poincare's Theorem Figure 6.5: The second cut. for some g 0. 6.3 Poincare's Theorem Theorem 6.3.1 (Poincare). Let D be a polygon diagram drawn in the hyperbolic plane such that the lengths of its edges and the interior angles

More information

The statement implies that any three intersection points of two distinct planes lie on a line.

The statement implies that any three intersection points of two distinct planes lie on a line. Math 3181 Dr. Franz Rothe February 23, 2015 All3181\3181_spr15ts1.tex 1 Solution of Test Name: Problem 1.1. The second part of Hilbert s Proposition 1 states: Any two different planes have either no point

More information

CSC 501 Semantics of Programming Languages

CSC 501 Semantics of Programming Languages CSC 501 Semantics of Programming Languages Subtitle: An Introduction to Formal Methods. Instructor: Dr. Lutz Hamel Email: hamel@cs.uri.edu Office: Tyler, Rm 251 Books There are no required books in this

More information

Slides for Faculty Oxford University Press All rights reserved.

Slides for Faculty Oxford University Press All rights reserved. Oxford University Press 2013 Slides for Faculty Assistance Preliminaries Author: Vivek Kulkarni vivek_kulkarni@yahoo.com Outline Following topics are covered in the slides: Basic concepts, namely, symbols,

More information

SOFT GENERALIZED CLOSED SETS IN SOFT TOPOLOGICAL SPACES

SOFT GENERALIZED CLOSED SETS IN SOFT TOPOLOGICAL SPACES 5 th March 0. Vol. 37 No. 005-0 JATIT & LLS. All rights reserved. ISSN: 99-8645 www.jatit.org E-ISSN: 87-395 SOFT GENERALIZED CLOSED SETS IN SOFT TOPOLOGICAL SPACES K. KANNAN Asstt Prof., Department of

More information

Introduction to Sets and Logic (MATH 1190)

Introduction to Sets and Logic (MATH 1190) Introduction to Sets and Logic () Instructor: Email: shenlili@yorku.ca Department of Mathematics and Statistics York University Dec 4, 2014 Outline 1 2 3 4 Definition A relation R from a set A to a set

More information

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes Leonor Aquino-Ruivivar Mathematics Department, De La Salle University Leonorruivivar@dlsueduph

More information

Lecture notes for Topology MMA100

Lecture notes for Topology MMA100 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

More information

Lecture 4: examples of topological spaces, coarser and finer topologies, bases and closed sets

Lecture 4: examples of topological spaces, coarser and finer topologies, bases and closed sets Lecture 4: examples of topological spaces, coarser and finer topologies, bases and closed sets Saul Glasman 14 September 2016 Let s give the definition of an open subset of R. Definition 1. Let U R. We

More information

ROUGH MEMBERSHIP FUNCTIONS: A TOOL FOR REASONING WITH UNCERTAINTY

ROUGH MEMBERSHIP FUNCTIONS: A TOOL FOR REASONING WITH UNCERTAINTY ALGEBRAIC METHODS IN LOGIC AND IN COMPUTER SCIENCE BANACH CENTER PUBLICATIONS, VOLUME 28 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1993 ROUGH MEMBERSHIP FUNCTIONS: A TOOL FOR REASONING

More information

This Lecture. We will first introduce some basic set theory before we do counting. Basic Definitions. Operations on Sets.

This Lecture. We will first introduce some basic set theory before we do counting. Basic Definitions. Operations on Sets. Sets A B C This Lecture We will first introduce some basic set theory before we do counting. Basic Definitions Operations on Sets Set Identities Defining Sets Definition: A set is an unordered collection

More information

Mathematics As A Liberal Art

Mathematics As A Liberal Art Math 105 Fall 2015 BY: 2015 Ron Buckmire Mathematics As A Liberal Art Class 26: Friday November 13 Fowler 302 MWF 10:40am- 11:35am http://sites.oxy.edu/ron/math/105/15/ Euclid, Geometry and the Platonic

More information

Logic and Discrete Mathematics. Section 2.5 Equivalence relations and partitions

Logic and Discrete Mathematics. Section 2.5 Equivalence relations and partitions Logic and Discrete Mathematics Section 2.5 Equivalence relations and partitions Slides version: January 2015 Equivalence relations Let X be a set and R X X a binary relation on X. We call R an equivalence

More information

CLASSIFICATION OF SURFACES

CLASSIFICATION 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 information

What is a... Manifold?

What is a... Manifold? What is a... Manifold? Steve Hurder Manifolds happens all the time! We just have to know them when we see them. Manifolds have dimension, just like Euclidean space: 1-dimension is the line, 2-dimension

More information

A convenient way to construct large simplicial complexes is through specifying sets and recording their intersection patterns.

A 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 information

Lecture 15: The subspace topology, Closed sets

Lecture 15: The subspace topology, Closed sets Lecture 15: The subspace topology, Closed sets 1 The Subspace Topology Definition 1.1. Let (X, T) be a topological space with topology T. subset of X, the collection If Y is a T Y = {Y U U T} is a topology

More information