Extension as the background of substance a formal approach

Size: px
Start display at page:

Download "Extension as the background of substance a formal approach"

Transcription

1 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

2 Presentation plan 1. Substance

3 Presentation plan 1. Substance Substance

4 Presentation plan 1. Substance Substance Extension

5 Presentation plan 1. Substance Substance Extension Conclusions

6 Presentation plan 1. Substance Substance Extension Conclusions

7 The nature of corporeal substance is extension in length, breadth and depth; and any other property a body has presupposes extension as merely a special case of it. For example, we cant make sense of shape except in an extended thing, or of motion except in an extended space. (2) The nature of thinking substance is thought; and anything else that is true of a mind is merely a special case of that, a way of thinking. Descartes

8 The nature of corporeal substance is extension in length, breadth and depth; and any other property a body has presupposes extension as merely a special case of it. For example, we cant make sense of shape except in an extended thing, or of motion except in an extended space. (2) The nature of thinking substance is thought; and anything else that is true of a mind is merely a special case of that, a way of thinking. Res extensa is extened, res cogitans is not. Descartes

9 What is the extension? Does it have any formal moments?

10 What is the extension? Does it have any formal moments? 1 being in a space

11 What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable

12 What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable 3 having a positive dimension

13 What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable 3 having a positive dimension 4 being (everywhere) in between

14 What is the extension? Does it have any formal moments? 1 being in a space 2 being impenetrable 3 having a positive dimension 4 being (everywhere) in between 5 possibility to divide

15 How to analyze of these category?

16 How to analyze of these category? ontologically

17 How to analyze of these category? ontologically phenomenologically

18 How to analyze of these category? ontologically phenomenologically physically (material ontology?)

19 How to analyze of these category? ontologically phenomenologically physically (material ontology?) mathematically (formal ontology?)

20 How to analyze these category? ontologically phenomenologically physically (material ontology?) mathematically (formal ontology?)

21 What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension

22 What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension

23 What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension Geometry

24 What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension Geometry

25 What branch of mathematics should be taken into account? Space, being in beetwen, being everywhere (dense?), dimension Geometry Topology

26 Topology is the study of those properties of geometric configurations which remain invariant when these configurations are subjected to one-to-one bicontinuous transformations, or homeomorphisms (...). We call such properties topological invariants. For example, the property of a circle to separate the plane into two regions is a topological invariant; if we transform the circle into an ellipse or into the perimeter of a triangle, this property is retained. On the other hand, the property of a curve to have a tangent line at every point is not a topological property; the circle has this property but the perimeter of a triangle does not, although it may be obtained from the circle by means of a homeomorphism. K. Kuratowski

27 Basic notions of topology Topology

28 Basic notions of topology Topology Open (closed) set

29 Basic notions of topology Topology Open (closed) set

30 Basic notions of topology Topology Open (closed) set closure of A, interior of A

31 Basic notions of topology Topology Open (closed) set closure of A, interior of A

32 Basic notions of topology Topology Open (closed) set closure of A, interior of A Connectedness (all one piece)

33 Definition 1 A topological space (X, τ) is a set X together with a family τ of subsets of X, called open sets (or topology on X) and satisfying the following axioms: 1 and X are open. 2 Any union of open sets is open. 3 The intersection of any finite number of open sets is open.

34 Definition 1 A topological space (X, τ) is a set X together with a family τ of subsets of X, called open sets (or topology on X) and satisfying the following axioms: 1 and X are open. 2 Any union of open sets is open. 3 The intersection of any finite number of open sets is open. Definition 2 A complement of open set is called closed set. The closure of an entity is a kind of remedy deficiencies, additions towards the perfection of the object.

35 Definition 3 A topological space (X, τ) is said to be connected if there are no U, V τ (U V ) such that U V = and U V = X. Otherwise, X is called disconnected. For example [0, 1] and R n for n N are connected.

36 Definition 3 A topological space (X, τ) is said to be connected if there are no U, V τ (U V ) such that U V = and U V = X. Otherwise, X is called disconnected. For example [0, 1] and R n for n N are connected. Definition 4 A topological space (X, τ) is said to be compact if each of its open covers has a finite subcover. The real line R is not compact since the open cover ( n, n), n N of it has no finite subcover. The closed line segment [0, 1] is compact, but the open line segment (0, 1) is not.

37 Definition 3 A topological space (X, τ) is said to be connected if there are no U, V τ (U V ) such that U V = and U V = X. Otherwise, X is called disconnected. For example [0, 1] and R n for n N are connected. Definition 4 A topological space (X, τ) is said to be compact if each of its open covers has a finite subcover. The real line R is not compact since the open cover ( n, n), n N of it has no finite subcover. The closed line segment [0, 1] is compact, but the open line segment (0, 1) is not. Connectedness and compactness are the invariants under homeomorpisms.

38 Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse

39 Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse Topology is the study of invariants of homeomorphisms

40 Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse Topology is the study of invariants of homeomorphisms Invariant under homeomorphism: dimension, being open, being closed, being dense, being separable, being connected, etc.

41 Homeomorphism 1. Substance Definition 5 Homeomorphism: a one-to-one continuous bijection that has a continuous inverse Topology is the study of invariants of homeomorphisms Invariant under homeomorphism: dimension, being open, being closed, being dense, being separable, being connected, etc.

42 How to analyze extension in topology? reminder being in a space being impenetrable (impervious) (not admitting of passage through) having a positive dimension being (everywhere) in between possibility to divide

43 Being in space 1. Substance space shall be composed of an infinite number of points (without this it is difficult to talk about an extension)

44 Being in space 1. Substance space shall be composed of an infinite number of points (without this it is difficult to talk about an extension) Cantor Set

45 Being in space 1. Substance space shall be composed of an infinite number of points (without this it is difficult to talk about an extension) space shall be connected Cantor Set

46 but there are spaces connected with holes

47 but there are spaces connected with holes Topologist s sine curve

48 but there are spaces connected with holes Topologist s sine curve simply connected space (?) (A space is simply connected if every loop in the space is contractible).

49

50 way of thinking: dispose of pathologies

51 Impenetrability 1. Substance Possible lines of analysis:

52 Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative)

53 Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative) but let s try

54 Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative) but let s try impossibility of being at the same time on the same place (in a given space) by two objects extended in the same way

55 Impenetrability 1. Substance Possible lines of analysis: the most difficult from the perspective of formal techniques (qualitative) but let s try impossibility of being at the same time on the same place (in a given space) by two objects extended in the same way have a boundary or a bound or a limit

56 homogeneity (?)

57 homogeneity (?) Definition 6 A topological space X is called homogeneous if for all x, y X there is a homeomorphism f : X X such that f(x) = y.

58 Positive dimension 1. Substance

59 Positive dimension 1. Substance There are three (in general non-equivalent) theories of dimension.

60 Positive dimension 1. Substance There are three (in general non-equivalent) theories of dimension. Intuitions Roughly speaking these theories are based on two basic ideas. First, the points have dimension of 0, the curves have dimension of 1, a dimension of surfaces is 2, dimension of space is 3, etc. Second, objects of dimension n are bounded by objects of dimension n 1, i.e. points are bounded by the empty set, the curves are bounded by the points, the surfaces are bounded by the curves, the spaces are bounded by the surfaces, etc.

61 Dimension can be infinite

62 Dimension can be infinite the dimension of possible worlds in Hilbert Cube combination topo-ontology is infinite

63 being (everywhere) in between being (everywhere) in between = being dense

64 being (everywhere) in between being (everywhere) in between = being dense Definition 7 B X is called dense (in X) if every point x X either belongs to B or is a limit point of B or equivalently cl(b) = X.

65 Possibility to divide 1. Substance Imposition on the space stronger and stronger separation axioms T 0, T 1, T 2, T 3, T 4

66

67

68 noncontradictory combinations of these conditions

69 noncontradictory combinations of these conditions

70 noncontradictory combinations of these conditions different types of extension

71 noncontradictory combinations of these conditions different types of extension a special type of extension: R n connected, arc-connected, simply connected, T 0 T 4 separation axioms are satisfied, n-dimensional space

72 Type of extension of res cogitans in the space thoughts

73 Type of extension of res cogitans in the space thoughts

74 Type of extension of res cogitans in the space thoughts

75 Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space

76 Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space Elements of X = acts Definition 2.1 (Neighbourhood) If p X, then a neighbourhood of p is a subset V X, which includes an open set U containing p.

77 Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space Elements of X = acts Definition 2.1 (Neighbourhood) If p X, then a neighbourhood of p is a subset V X, which includes an open set U containing p. Neighbourhood of an act p = all acts that may occur with p (eg. at the same time)

78 Topology of res cogitans. The general idea of the topology of acts (X, τ) topological space Elements of X = acts Definition 2.1 (Neighbourhood) If p X, then a neighbourhood of p is a subset V X, which includes an open set U containing p. Neighbourhood of an act p = all acts that may occur with p (eg. at the same time) neighbourhood system = topology

79 Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself

80 Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself Being a hole is invariant under homeomorphism

81 Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself Being a hole is invariant under homeomorphism Subject may increase, decrease, widen, shrink...

82 Change of the res cogitans Change of the res cogitans = homeomorphic moving to yourself Being a hole is invariant under homeomorphism Subject may increase, decrease, widen, shrink... Identity = homeomorphicness

83 Consciousness 1. Substance Jan Szewczyk: Universally infinite (infinitely spreadable) field of fields, finite as well as infinite, establishing the certain closed in itself and internally integral unity of existence, not being the material part of nature, neither connected to it causally nor structurally, centered in its subjective source. This field spouts or radiates from Self in all directions (therefore undoubtedly three dimensionally) and constitutes itself in unceasingly and multi dimensionally undulating medium. It makes the certain environment or plasma of intentionality, having its own temporality, and therefore, necessarily, it own spatiality or sort of phenomenological quasi corporeality.

84 Question to Jeff: What do you think about this plasma of intentionality?

85 Is the consciousness radically non stretchable? Consciousness stretches out towards the world, hitting the objects to whom it intends it approaches them meets them in some way In this way we attribute some kind of extent to the consciousness.

86 Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded

87 Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded but unexpectedly

88 Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded but unexpectedly these types are identical in terms of topology. That is they are homeomorphic.

89 Thought experiment 1. Substance Simplifying the matter suppose that the extensionality of res extensa is identical to the extensionality of the R 3. Simplifying the matter suppose that the extensionality of res cogitans is identical to the extensionality of the open three-dimensional sphere with appropriate dents and bulges, but without holes through and through. The res extensa has the type of bounded extension and the type of res cogitans is unbounded but unexpectedly these types are identical in terms of topology. That is they are homeomorphic. The property of being extended is not the property which differentiates things and thoughts.

90 Claims and conclusions 1 Substance is extended 2 We should use the topology in the study of extension 3 Extension can be modeled as a special case of a topological space 4 There are many forms of extension ( substances) 5 The moment of being extended is not the property which differentiates things and thoughts. 6 Extension of things extension of thoughts

91 Open problems 1. Substance Is the type of extension invariant under homeomorphism?

92 Open problems 1. Substance Is the type of extension invariant under homeomorphism? So, among others: Is a being bounded an essential moment of extension or not?

93 Open problems 1. Substance Is the type of extension invariant under homeomorphism? So, among others: Is a being bounded an essential moment of extension or not? What is the role play of manifolds in these studies?

94 Open problems 1. Substance Is the type of extension invariant under homeomorphism? So, among others: Is a being bounded an essential moment of extension or not? What is the role play of manifolds in these studies? Is it possible to examine the impenetrability in the topology?

95 M. Rosiak described extension as a possibility of coexistence of a plurality of objects, the multitude of differences between places. A possibility of coexistence of a plurality of objects topology

96 M. Rosiak described extension as a possibility of coexistence of a plurality of objects, the multitude of differences between places. A possibility of coexistence of a plurality of objects topology (formal ontology)

97 Formal Philosophy

98 Formal Philosophy Formal philosophy philosophy that uses a formal language

99 Formal Philosophy Formal philosophy philosophy that uses a formal logic

100 Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize

101 Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize

102 Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize philosophizing by structures,

103 Formal Philosophy Formal philosophy = philosophy that uses a mathematical structures to philosophize philosophizing by structures, rotation of the structures

104 What kind of structure should be used in Formal Philosophy? Complex structures because the philosophical issues are complex Examples: Algebraic fields, rings, posets, lattices, differentiable manifolds, Hilbert spaces, closure spaces, model Monster, categories (category theory), etc.

105 What for a formal philosophy? We need a formal philosophy, we need a structures, because the philosophy is just so hard to practice without it.

106 Thank you!

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

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

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

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

Final Test in MAT 410: Introduction to Topology Answers to the Test Questions

Final Test in MAT 410: Introduction to Topology Answers to the Test Questions Final Test in MAT 410: Introduction to Topology Answers to the Test Questions Stefan Kohl Question 1: Give the definition of a topological space. (3 credits) A topological space (X, τ) is a pair consisting

More 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

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

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

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

CONNECTED SPACES AND HOW TO USE THEM

CONNECTED SPACES AND HOW TO USE THEM CONNECTED SPACES AND HOW TO USE THEM 1. How to prove X is connected Checking that a space X is NOT connected is typically easy: you just have to find two disjoint, non-empty subsets A and B in X, such

More information

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

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

Topological Data Analysis - I. Afra Zomorodian Department of Computer Science Dartmouth College

Topological Data Analysis - I. Afra Zomorodian Department of Computer Science Dartmouth College Topological Data Analysis - I Afra Zomorodian Department of Computer Science Dartmouth College September 3, 2007 1 Acquisition Vision: Images (2D) GIS: Terrains (3D) Graphics: Surfaces (3D) Medicine: MRI

More information

Manifolds. Chapter X. 44. Locally Euclidean Spaces

Manifolds. Chapter X. 44. Locally Euclidean Spaces Chapter X Manifolds 44. Locally Euclidean Spaces 44 1. Definition of Locally Euclidean Space Let n be a non-negative integer. A topological space X is called a locally Euclidean space of dimension n if

More 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

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

Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary?

Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Don t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical special case?

More information

Solids as point set. Solid models. Solid representation schemes (cont d) Solid representation schemes. Solid representation schemes (cont d)

Solids as point set. Solid models. Solid representation schemes (cont d) Solid representation schemes. Solid representation schemes (cont d) Solid models Solid models developed to address limitations of wireframe modeling. Attempt was to create systems which create only complete representations. Modelers would support direct creation of 3D

More information

Introduction to Immersion, Embedding, and the Whitney Embedding Theorems

Introduction to Immersion, Embedding, and the Whitney Embedding Theorems Introduction to Immersion, Embedding, and the Whitney Embedding Theorems Paul Rapoport November 23, 2015 Abstract We give an overview of immersion in order to present the idea of embedding, then discuss

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

Lecture 7: Jan 31, Some definitions related to Simplical Complex. 7.2 Topological Equivalence and Homeomorphism

Lecture 7: Jan 31, Some definitions related to Simplical Complex. 7.2 Topological Equivalence and Homeomorphism CS 6170 Computational Topology: Topological Data Analysis University of Utah Spring 2017 School of Computing Lecture 7: Jan 31, 2017 Lecturer: Prof. Bei Wang Scribe: Avani Sharma,

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

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

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

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

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 I Test 1 Solutions October 13, 2008

Topology I Test 1 Solutions October 13, 2008 Topology I Test 1 Solutions October 13, 2008 1. Do FIVE of the following: (a) Give a careful definition of connected. A topological space X is connected if for any two sets A and B such that A B = X, we

More information

Session 27: Fractals - Handout

Session 27: Fractals - Handout Session 27: Fractals - Handout Clouds are not spheres, mountains are not cones, coastlines are not circles, and bark is not smooth, nor does lightning travel in a straight line. Benoit Mandelbrot (1924-2010)

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

Planar Graphs and Surfaces. Graphs 2 1/58

Planar Graphs and Surfaces. Graphs 2 1/58 Planar Graphs and Surfaces Graphs 2 1/58 Last time we discussed the Four Color Theorem, which says that any map can be colored with at most 4 colors and not have two regions that share a border having

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

Point-Set Topology II

Point-Set Topology II Point-Set Topology II Charles Staats September 14, 2010 1 More on Quotients Universal Property of Quotients. Let X be a topological space with equivalence relation. Suppose that f : X Y is continuous and

More 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

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

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

FRACTALS The term fractal was coined by mathematician Benoit Mandelbrot A fractal object, unlike a circle or any regular object, has complexity at all scales Natural Fractal Objects Natural fractals

More information

Bounded subsets of topological vector spaces

Bounded subsets of topological vector spaces Chapter 2 Bounded subsets of topological vector spaces In this chapter we will study the notion of bounded set in any t.v.s. and analyzing some properties which will be useful in the following and especially

More information

CLASSIFICATION OF SURFACES

CLASSIFICATION OF SURFACES CLASSIFICATION OF SURFACES YUJIE ZHANG Abstract. The sphere, Möbius strip, torus, real projective plane and Klein bottle are all important examples of surfaces (topological 2-manifolds). In fact, via the

More information

Decomposition of the figure-8 knot

Decomposition of the figure-8 knot CHAPTER 1 Decomposition of the figure-8 knot This book is an introduction to knots, links, and their geometry. Before we begin, we need to define carefully exactly what we mean by knots and links, and

More information

Computer Aided Engineering Design Prof. Anupam Saxena Department of Mechanical Engineering Indian Institute of Technology, Kanpur.

Computer Aided Engineering Design Prof. Anupam Saxena Department of Mechanical Engineering Indian Institute of Technology, Kanpur. (Refer Slide Time: 00:28) Computer Aided Engineering Design Prof. Anupam Saxena Department of Mechanical Engineering Indian Institute of Technology, Kanpur Lecture - 6 Hello, this is lecture number 6 of

More information

T. Background material: Topology

T. Background material: Topology MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material

More information

Lecture 3: Some Strange Properties of Fractal Curves

Lecture 3: Some Strange Properties of Fractal Curves Lecture 3: Some Strange Properties of Fractal Curves I have been a stranger in a strange land. Exodus 2:22 1. Fractal Strangeness Fractals have a look and feel that is very different from ordinary curves.

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

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

Lecture IV - Further preliminaries from general topology:

Lecture IV - Further preliminaries from general topology: Lecture IV - Further preliminaries from general topology: We now begin with some preliminaries from general topology that is usually not covered or else is often perfunctorily treated in elementary courses

More information

Homework Set #2 Math 440 Topology Topology by J. Munkres

Homework Set #2 Math 440 Topology Topology by J. Munkres Homework Set #2 Math 440 Topology Topology by J. Munkres Clayton J. Lungstrum October 26, 2012 Exercise 1. Prove that a topological space X is Hausdorff if and only if the diagonal = {(x, x) : x X} is

More information

Geometric and Solid Modeling. Problems

Geometric and Solid Modeling. Problems Geometric and Solid Modeling Problems Define a Solid Define Representation Schemes Devise Data Structures Construct Solids Page 1 Mathematical Models Points Curves Surfaces Solids A shape is a set of Points

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

Regarding Python level necessary for the course

Regarding Python level necessary for the course Logistics First two recitations (next two weeks) Python basics (installation, basic syntax, basic programming), optional Making models for 3D printing w/ Blender Will announce details through Sakai Regarding

More information

Geometric Modeling Mortenson Chapter 11. Complex Model Construction

Geometric Modeling Mortenson Chapter 11. Complex Model Construction Geometric Modeling 91.580.201 Mortenson Chapter 11 Complex Model Construction Topics Topology of Models Connectivity and other intrinsic properties Graph-Based Models Emphasize topological structure Boolean

More information

NICOLAS BOURBAKI ELEMENTS OF MATHEMATICS. General Topology. Chapters 1-4. Springer-Verlag Berlin Heidelberg New York London Paris Tokyo

NICOLAS BOURBAKI ELEMENTS OF MATHEMATICS. General Topology. Chapters 1-4. Springer-Verlag Berlin Heidelberg New York London Paris Tokyo NICOLAS BOURBAKI ELEMENTS OF MATHEMATICS General Topology Chapters 1-4 Springer-Verlag Berlin Heidelberg New York London Paris Tokyo ADVICE TO THE READER v CONTENTS OF THE ELEMENTS OF MATHEMATICS SERIES

More information

Surfaces. 14 April Surfaces 14 April /29

Surfaces. 14 April Surfaces 14 April /29 Surfaces 14 April 2014 Surfaces 14 April 2014 1/29 Last Week Last week, when we discussed graph theory, we saw that the maximum colors any map might need depends on the surface on which the map is drawn.

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

1. Introduction to Constructive Solid Geometry (CSG)

1. Introduction to Constructive Solid Geometry (CSG) opyright@010, YZU Optimal Design Laboratory. All rights reserved. Last updated: Yeh-Liang Hsu (010-1-10). Note: This is the course material for ME550 Geometric modeling and computer graphics, Yuan Ze University.

More information

Continuous functions and homeomorphisms

Continuous functions and homeomorphisms Continuous functions and homeomorphisms 1 Motivation Up to now we have defined just a few topological properties, like the first three T -axioms and the countability properties (separable, ccc, first and

More information

CS 6170: Computational Topology, Spring 2019 Lecture 03

CS 6170: Computational Topology, Spring 2019 Lecture 03 CS 6170: Computational Topology, Spring 2019 Lecture 03 Topological Data Analysis for Data Scientists Dr. Bei Wang School of Computing Scientific Computing and Imaging Institute (SCI) University of Utah

More information

Course Number: Course Title: Geometry

Course Number: Course Title: Geometry Course Number: 1206310 Course Title: Geometry RELATED GLOSSARY TERM DEFINITIONS (89) Altitude The perpendicular distance from the top of a geometric figure to its opposite side. Angle Two rays or two line

More information

What is Set? Set Theory. Notation. Venn Diagram

What is Set? Set Theory. Notation. Venn Diagram What is Set? Set Theory Peter Lo Set is any well-defined list, collection, or class of objects. The objects in set can be anything These objects are called the Elements or Members of the set. CS218 Peter

More information

Topology: Basic ideas

Topology: Basic ideas For I will give you a mouth and wisdom, which all your adversaries shall not be able to gainsay nor resist. Topology: Basic ideas Yuri Dabaghian Baylor College of Medicine & Rice University dabaghian at

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

Curriki Geometry Glossary

Curriki Geometry Glossary Curriki Geometry Glossary The following terms are used throughout the Curriki Geometry projects and represent the core vocabulary and concepts that students should know to meet Common Core State Standards.

More information

SETS. Sets are of two sorts: finite infinite A system of sets is a set, whose elements are again sets.

SETS. Sets are of two sorts: finite infinite A system of sets is a set, whose elements are again sets. SETS A set is a file of objects which have at least one property in common. The objects of the set are called elements. Sets are notated with capital letters K, Z, N, etc., the elements are a, b, c, d,

More information

Section 26. Compact Sets

Section 26. Compact Sets 26. Compact Sets 1 Section 26. Compact Sets Note. You encounter compact sets of real numbers in senior level analysis shortly after studying open and closed sets. Recall that, in the real setting, a continuous

More information

Figure 2.1: An example of a convex set and a nonconvex one.

Figure 2.1: An example of a convex set and a nonconvex one. Convex Hulls 2.1 Definitions 2 Convexity is the key to understanding and simplifying geometry, and the convex hull plays a role in geometry akin to the sorted order for a collection of numbers. So what

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

The Global Topology of the Universe. Dr. Bob Gardner. Great Ideas in Science (BIOL 3028)

The Global Topology of the Universe. Dr. Bob Gardner. Great Ideas in Science (BIOL 3028) The Global Topology of the Universe Dr. Bob Gardner Great Ideas in Science (BIOL 3028) 1 2 Geometry versus Topology Definition. The aspects of a surface s (or any geometric object s) nature which are unaffected

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

Module 1 Session 1 HS. Critical Areas for Traditional Geometry Page 1 of 6

Module 1 Session 1 HS. Critical Areas for Traditional Geometry Page 1 of 6 Critical Areas for Traditional Geometry Page 1 of 6 There are six critical areas (units) for Traditional Geometry: Critical Area 1: Congruence, Proof, and Constructions In previous grades, students were

More information

Lecture 11 COVERING SPACES

Lecture 11 COVERING SPACES Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest

More information

Thompson groups, Cantor space, and foldings of de Bruijn graphs. Peter J. Cameron University of St Andrews

Thompson groups, Cantor space, and foldings of de Bruijn graphs. Peter J. Cameron University of St Andrews Thompson groups, Cantor space, and foldings of de Bruijn graphs Peter J Cameron University of St Andrews Breaking the boundaries University of Sussex April 25 The 97s Three groups I was born (in Paul Erdős

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

4. Simplicial Complexes and Simplicial Homology

4. Simplicial Complexes and Simplicial Homology MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n

More information

Research in Computational Differential Geomet

Research in Computational Differential Geomet Research in Computational Differential Geometry November 5, 2014 Approximations Often we have a series of approximations which we think are getting close to looking like some shape. Approximations Often

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

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics SIMPLIFYING TRIANGULATIONS OF S 3 Aleksandar Mijatović Volume 208 No. 2 February 2003 PACIFIC JOURNAL OF MATHEMATICS Vol. 208, No. 2, 2003 SIMPLIFYING TRIANGULATIONS OF S

More information

4.2 Simplicial Homology Groups

4.2 Simplicial Homology Groups 4.2. SIMPLICIAL HOMOLOGY GROUPS 93 4.2 Simplicial Homology Groups 4.2.1 Simplicial Complexes Let p 0, p 1,... p k be k + 1 points in R n, with k n. We identify points in R n with the vectors that point

More information

I. An introduction to Boolean inverse semigroups

I. An introduction to Boolean inverse semigroups I. An introduction to Boolean inverse semigroups Mark V Lawson Heriot-Watt University, Edinburgh June 2016 1 0. In principio The monograph J. Renault, A groupoid approach to C - algebras, Lecture Notes

More information

A simple problem that has a solution that is far deeper than expected!

A simple problem that has a solution that is far deeper than expected! The Water, Gas, Electricity Problem A simple problem that has a solution that is far deeper than expected! Consider the diagram below of three houses and three utilities: water, gas, and electricity. Each

More information

The Fundamental Group, Braids and Circles

The Fundamental Group, Braids and Circles The Fundamental Group, Braids and Circles Pete Goetz Mathematics Colloquium Humboldt State University April 17, 2014 Outline 1) Topology 2) Path Homotopy and The Fundamental Group 3) Covering Spaces and

More information

Computer Graphics Prof. Sukhendu Das Dept. of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 24 Solid Modelling

Computer Graphics Prof. Sukhendu Das Dept. of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 24 Solid Modelling Computer Graphics Prof. Sukhendu Das Dept. of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 24 Solid Modelling Welcome to the lectures on computer graphics. We have

More information

Topology and Boundary Representation. The ACIS boundary representation (B-rep) of a model is a hierarchical decomposition of the model s topology:

Topology and Boundary Representation. The ACIS boundary representation (B-rep) of a model is a hierarchical decomposition of the model s topology: Chapter 6. Model Topology Topology refers to the spatial relationships between the various entities in a model. Topology describes how geometric entities are connected (connectivity). On its own, topology

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

More reverse mathematics of the Heine-Borel Theorem

More reverse mathematics of the Heine-Borel Theorem 1 10 ISSN 1759-9008 1 More reverse mathematics of the Heine-Borel Theorem JEFFRY L HIRST JESSICA MILLER Abstract: Using the techniques of reverse mathematics, we characterize subsets X [0, 1] in terms

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

A Process-Ontological Model for Software Engineering

A Process-Ontological Model for Software Engineering A Process-Ontological Model for Software Engineering Jari Palomäki & Harri Keto Tampere University of Technology/Pori Department of Information Technology Pohjoisranta, P.O.Box 300, FIN-28101 Pori, Finland

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

Simplicial Hyperbolic Surfaces

Simplicial Hyperbolic Surfaces Simplicial Hyperbolic Surfaces Talk by Ken Bromberg August 21, 2007 1-Lipschitz Surfaces- In this lecture we will discuss geometrically meaningful ways of mapping a surface S into a hyperbolic manifold

More information

CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE

CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE CAT(0) BOUNDARIES OF TRUNCATED HYPERBOLIC SPACE KIM RUANE Abstract. We prove that the CAT(0) boundary of a truncated hyperbolic space is homeomorphic to a sphere with disks removed. In dimension three,

More information

Euler s Theorem. Brett Chenoweth. February 26, 2013

Euler s Theorem. Brett Chenoweth. February 26, 2013 Euler s Theorem Brett Chenoweth February 26, 2013 1 Introduction This summer I have spent six weeks of my holidays working on a research project funded by the AMSI. The title of my project was Euler s

More information

Curvature Berkeley Math Circle January 08, 2013

Curvature Berkeley Math Circle January 08, 2013 Curvature Berkeley Math Circle January 08, 2013 Linda Green linda@marinmathcircle.org Parts of this handout are taken from Geometry and the Imagination by John Conway, Peter Doyle, Jane Gilman, and Bill

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

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

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

Prentice Hall Mathematics: Geometry 2007 Correlated to: Arizona Academic Standards for Mathematics (Grades 9-12)

Prentice Hall Mathematics: Geometry 2007 Correlated to: Arizona Academic Standards for Mathematics (Grades 9-12) Strand 1: Number Sense and Operations Every student should understand and use all concepts and skills from the previous grade levels. The standards are designed so that new learning builds on preceding

More information

GENERAL TOPOLOGY. Tammo tom Dieck

GENERAL TOPOLOGY. Tammo tom Dieck GENERAL TOPOLOGY Tammo tom Dieck Mathematisches Institut Georg-August-Universität Göttingen Preliminary and Incomplete. Version of November 13, 2011 Contents 1 Topological Spaces 3 1.1 Basic Notions............................

More information

Ohio Tutorials are designed specifically for the Ohio Learning Standards to prepare students for the Ohio State Tests and end-ofcourse

Ohio Tutorials are designed specifically for the Ohio Learning Standards to prepare students for the Ohio State Tests and end-ofcourse Tutorial Outline Ohio Tutorials are designed specifically for the Ohio Learning Standards to prepare students for the Ohio State Tests and end-ofcourse exams. Math Tutorials offer targeted instruction,

More information

NOTES ON GENERAL TOPOLOGY

NOTES ON GENERAL TOPOLOGY NOTES ON GENERAL TOPOLOGY PETE L. CLARK 1. The notion of a topological space Part of the rigorization of analysis in the 19th century was the realization that notions like convergence of sequences and

More information

Geometric Modeling. Introduction

Geometric Modeling. Introduction Geometric Modeling Introduction Geometric modeling is as important to CAD as governing equilibrium equations to classical engineering fields as mechanics and thermal fluids. intelligent decision on the

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

Topology of Surfaces

Topology of Surfaces EM225 Topology of Surfaces Geometry and Topology In Euclidean geometry, the allowed transformations are the so-called rigid motions which allow no distortion of the plane (or 3-space in 3 dimensional geometry).

More information