{"id":3075,"date":"2021-12-05T13:12:01","date_gmt":"2021-12-05T07:42:01","guid":{"rendered":"https:\/\/soulofmathematics.com\/?page_id=3075"},"modified":"2021-12-06T10:33:47","modified_gmt":"2021-12-06T05:03:47","slug":"the-topology-series","status":"publish","type":"page","link":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/","title":{"rendered":"The Topology Series"},"content":{"rendered":"\n<div class=\"wp-block-media-text alignwide has-media-on-the-right is-stacked-on-mobile\"><figure class=\"wp-block-media-text__media\"><img data-recalc-dims=\"1\" fetchpriority=\"high\" decoding=\"async\" width=\"577\" height=\"433\" src=\"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?resize=577%2C433&#038;ssl=1\" alt=\"\" class=\"wp-image-3109 size-full\" srcset=\"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?w=577&amp;ssl=1 577w, https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?resize=300%2C225&amp;ssl=1 300w, https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?resize=150%2C113&amp;ssl=1 150w\" sizes=\"(max-width: 577px) 100vw, 577px\" \/><\/figure><div class=\"wp-block-media-text__content\">\n<h2>Chapter 1<\/h2>\n<p>Prerequisites- Set Theory<\/p>\n<p><\/p>\n\n\n\n<\/p>\n<h3 class=\"has-ast-global-color-6-color has-text-color\">What is topology?<\/h3>\n<p>\n\n\n\n<\/p>\n<p>In simple terms, Topology is concerned with the geometric properties of objects when it undergoes physical distortions like stretching, twisting, and bending.<\/p>\n<p>\n\n\n\n<\/p>\n<p>Now we dive a bit deeper in terms of mathematics.<\/p>\n<p>\n\n\n\n<\/p>\n<p>\n\n\n\n<\/p>\n<p>\u00a0<\/p>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-cover has-parallax\" style=\"background-image:url(https:\/\/soulofmathematics.com\/wp-content\/uploads\/2021\/05\/calabi_yau-removebg.png);min-height:826px;aspect-ratio:unset;\"><span aria-hidden=\"true\" class=\"has-background-dim-60 wp-block-cover__gradient-background has-background-dim\"><\/span><div class=\"wp-block-cover__inner-container is-layout-flow wp-block-cover-is-layout-flow\">\n<p><\/p>\n\n\n\n<\/p>\n<p><strong>Definition 1<\/strong>&#8211; A topology on a set <em>X<\/em> is a collection <em>T<\/em> of subsets of <em>X<\/em> having the following properties-<\/p>\n<ol>\n<li><em>\u03a6<\/em> and <em>X<\/em> are in <em>T<\/em>.<\/li>\n<li>The union of the elements of any subcollection of <em>T<\/em> is in <em>T<\/em>.<\/li>\n<li>The intersection of the elements of any finite subcollection of <em>T<\/em> is in <em>T<\/em>.<\/li>\n<\/ol>\n\n\n\n<p><strong>Definition 2<\/strong>&#8211; A set <em>X<\/em> for which a topology <em>T<\/em> has been specified is called a topological space.<\/p>\n\n\n\n<p>A topological space is an ordered pair (<em>X, T<\/em>) consisting of a set <em>X<\/em> and a topology <em>T<\/em> on <em>X<\/em>.<\/p>\n\n\n\n<p>If <em>X<\/em> is a topological space with topology <em>T<\/em>, we say that a subset <em>U<\/em> of <em>X<\/em> is an open set of <em>X<\/em> if <em>U<\/em> belongs to collection of <em>T<\/em>.<\/p>\n\n\n\n<p>A topological space is a set <em>X<\/em> are both open, and such that arbitrary unions and finite intersections of open sets are open.<\/p>\n\n\n\n<p>If <em>X<\/em> is any set, the collection of all subsets of <em>X<\/em>, it is called the discrete Topology. The collection consisting of <em>X<\/em>, we shall call it the indiscrete Topology, or the trivial Topology.<\/p>\n\n\n\n<p><strong>Example<\/strong>&#8211; Let <em>X<\/em> be a set, let <em>T<sub>f<\/sub><\/em> be the collection of all subsets <em>U<\/em> of <em>X<\/em> such that <em>X-U<\/em> either is finite or is all of <em>X<\/em>. Then T<sub>f<\/sub> is a topology on <em>X<\/em>, called the finite complement topology. Both <em>X<\/em> and <em>\u03a6<\/em> are in <em>T<sub>f<\/sub><\/em>, since <em>X-X<\/em> is finite and <em>X-\u03a6<\/em> is all of <em>X<\/em>. If {<em>U<sub>\u03b1<\/sub><\/em>} is an indexed family of non- empty elements of <em>T<sub>f<\/sub><\/em>, to show that \u222a<em>U<sub>\u03b1<\/sub><\/em>, is in <em>T<sub>f<\/sub><\/em>, we compute,<\/p>\n\n\n\n<p class=\"has-text-align-center\"><em>X &#8211; \u222aU<sub>\u03b1<\/sub> = \u2229(X &#8211; U<sub>\u03b1<\/sub>)<\/em>.<\/p>\n\n\n\n<p>The set is finite because each set <em>X &#8211; U<sub>\u03b1<\/sub><\/em> is finite. <em>U<sub>1<\/sub>, U<sub>2<\/sub>,&#8230;&#8230;&#8230;.,U<sub>n<\/sub><\/em> are non-empty elements of <em>T<sub>f<\/sub><\/em>, to show that <em>\u2229U<sub>1<\/sub><\/em> is in <em>T<sub>f<\/sub><\/em>, we compute,<\/p>\n\n\n\n<p class=\"has-text-align-center\"><em>X &#8211; <em>\u2229<\/em>U<sub>i<\/sub> = <em>\u222a<\/em>(X &#8211; U<sub>i<\/sub>)<\/em>    (i = 1, to n).<\/p>\n<\/div><\/div>\n\n\n\n<figure class=\"wp-block-pullquote\"><blockquote><p>Point set&nbsp;<strong><strong>topology<\/strong><\/strong>&nbsp;is a disease from which the human race will soon recover.<\/p><cite><em>Henri Poincare<\/em><\/cite><\/blockquote><\/figure>\n\n\n\n<div class=\"wp-block-cover has-parallax\" style=\"background-image:url(https:\/\/soulofmathematics.com\/wp-content\/uploads\/2020\/12\/hansonknot43-removebg-preview.png)\"><span aria-hidden=\"true\" class=\"has-background-dim-60 wp-block-cover__gradient-background has-background-dim\"><\/span><div class=\"wp-block-cover__inner-container is-layout-flow wp-block-cover-is-layout-flow\">\n<p><strong>Definition 3<\/strong>&#8211; Suppose that <em>T<\/em> and <em>T&#8217;<\/em> are two topologies on a given set <em>X<\/em>. If<em> T<\/em>\u2282<em>T&#8217;<\/em>, we say that <em>T&#8217;<\/em> is finer than <em>T<\/em>. We also say <em>T<\/em> is coarser than <em>T&#8217;<\/em>, or strictly coarser, in these two respective situations. Wes say that <em>T<\/em> is comparable with <em>T&#8217;<\/em> if either <em>T<\/em>\u2282<em>T&#8217;<\/em> or <em>T<\/em>&#8216;\u2282<em>T<\/em>.<\/p>\n\n\n\n<p class=\"has-text-align-left\"><strong>Definition 4<\/strong>&#8211; If <em>X<\/em> is a set, a basis for a topology on <em>X<\/em> is a collection <strong><em>B<\/em><\/strong> of subsets <em>X<\/em> (called basis elements) such that-<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li>For each <em>x<\/em> <strong>\u2208<\/strong> <em>X<\/em>, there is at least one basis  element <em>B<\/em> containing <em>x<\/em>.<\/li><li>If x belongs to the intersection of two basis elements <em>B<\/em><sub><em>1<\/em><\/sub> and <em>B<\/em><sub><em>2<\/em><\/sub>, then there is a basis element <em>B<\/em><sub><em>3<\/em><\/sub> containing x such that <em>B<\/em><sub><em>3<\/em><\/sub> \u2282 <em>B<\/em><sub><em>1<\/em><\/sub><em><em><em>\u2229<\/em><\/em>B<\/em><sub><em>2<\/em><\/sub>.<\/li><\/ol>\n\n\n\n<p>If <strong><em>B<\/em><\/strong> satisfies these two conditions, then we define the topology <em>T<\/em> generated by <strong><em>B<\/em><\/strong> as follows-<\/p>\n\n\n\n<p>A subset <em>U<\/em> of <em>X<\/em> is said to be open in <em>X<\/em> (that is, to be an element of <em>T<\/em>) if for each <em>x<\/em> <strong>\u2208<\/strong> <em>U<\/em>, there is a basis element B <strong>\u2208<\/strong> <strong><em>B<\/em><\/strong> such that <em>x<\/em> <strong>\u2208<\/strong> <strong><em>B<\/em><\/strong> and <strong><em>B<\/em><\/strong> \u2282 <em>U<\/em>.<\/p>\n\n\n\n<p>Note that each basis element is itself an element of <em>T<\/em>.<\/p>\n\n\n\n<blockquote class=\"wp-block-quote has-text-align-center is-layout-flow wp-block-quote-is-layout-flow\"><p>To understand better we will go through a few lemmas.<\/p><\/blockquote>\n\n\n\n<p class=\"has-white-color has-text-color\"><strong>Lemma 1<\/strong>&#8211; Let <em>X<\/em> be a set; let <strong><em>B<\/em><\/strong> be a basis for topology <em>T<\/em> on <em>X<\/em>. Then <em>T<\/em> equals the collection of all unions of elements of <strong><em>B<\/em><\/strong>.<\/p>\n\n\n\n<p class=\"has-white-color has-text-color\">Proof- Given a collection of elements of <strong><em>B<\/em><\/strong>, they are also elements of <em>T<\/em>. Because <em>T<\/em> is a topology, their union is in <em>T<\/em>. Conversely, given <em>U<\/em> <strong>\u2208<\/strong> <em>T<\/em>, choose for each <em>x<\/em> <strong>\u2208<\/strong> <em>U<\/em> an element <strong><em>B<\/em><\/strong><sub><em>x<\/em><\/sub> of <strong><em>B<\/em><\/strong> such that <em>x<\/em> <strong>\u2208<\/strong> <em><strong><em>B<\/em><\/strong><sub><em>x<\/em><\/sub><\/em> \u2282 <em>U<\/em>. Then <em>U<\/em> = <em>\u222a<\/em><sub><em>x<\/em> <strong>\u2208<\/strong> <em>U<\/em><\/sub> <strong><em>B<\/em><\/strong><sub><em>x<\/em><\/sub>, so <em>U<\/em> equals a union of elements of <strong><em>B<\/em><\/strong>.<\/p>\n\n\n\n<p><strong>Lemma 2<\/strong>&#8211; Let <em>X<\/em> be a topological space. Suppose that <em><strong>C<\/strong><\/em> is a collection of open sets of <em>X<\/em> such that for each open set <em>U<\/em> of <em>X<\/em> and each x in <em>U<\/em>, there is an element C of <em><strong>C<\/strong><\/em> such that <em>x<\/em> <strong>\u2208<\/strong> C \u2282 <em>U<\/em>. Then <em><strong>C<\/strong><\/em> is a basis for the topology of <em>X<\/em>.<\/p>\n\n\n\n<p>(Proof will be available on demand.)<\/p>\n\n\n\n<p><strong>Lemma 3<\/strong>&#8211; Let <strong><em>B<\/em><\/strong> and <strong><strong><em><strong><em>B<\/em><\/strong><\/em><\/strong><\/strong>&#8216; be bases for the topologies <em>T<\/em> and <em>T&#8217;<\/em>, respectively, on <em>X<\/em>. Then the following are equivalent:<\/p>\n\n\n\n<ol class=\"wp-block-list\"><li><em>T&#8217;<\/em> is finer than <em>T<\/em>.<\/li><li>For each <em>x<\/em> <strong>\u2208<\/strong> <em>X<\/em> and each basis for the topologies and each basis element B <strong>\u2208<\/strong> <em><strong><em>B<\/em><\/strong><\/em> containing <em>x<\/em>, there is a basis element B&#8217; <strong>\u2208<\/strong> <em><strong><em>B<\/em><\/strong>&#8216;<\/em> such that <em>x<\/em> <strong>\u2208<\/strong> B&#8217; \u2282 B.<\/li><\/ol>\n\n\n\n<p>(Proof will be available on demand.)<\/p>\n\n\n\n<p>TO BE CONTINUED IN CHAPTER 2.<\/p>\n<\/div><\/div>\n","protected":false},"excerpt":{"rendered":"<p>Chapter 1 Prerequisites- Set Theory What is topology? In simple terms, Topology is concerned with the geometric properties of objects when it undergoes physical distortions like stretching, twisting, and bending. Now we dive a bit deeper in terms of mathematics. \u00a0 Point set&nbsp;topology&nbsp;is a disease from which the human race will soon recover. Henri Poincare<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"closed","template":"","meta":{"jetpack_post_was_ever_published":false,"footnotes":""},"class_list":["post-3075","page","type-page","status-publish","hentry"],"ams_acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v23.6 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>The Topology Series - SOUL OF MATHEMATICS<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"The Topology Series - SOUL OF MATHEMATICS\" \/>\n<meta property=\"og:description\" content=\"Chapter 1 Prerequisites- Set Theory What is topology? In simple terms, Topology is concerned with the geometric properties of objects when it undergoes physical distortions like stretching, twisting, and bending. Now we dive a bit deeper in terms of mathematics. \u00a0 Point set&nbsp;topology&nbsp;is a disease from which the human race will soon recover. Henri Poincare\" \/>\n<meta property=\"og:url\" content=\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/\" \/>\n<meta property=\"og:site_name\" content=\"SOUL OF MATHEMATICS\" \/>\n<meta property=\"article:modified_time\" content=\"2021-12-06T05:03:47+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"4 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/\",\"url\":\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/\",\"name\":\"The Topology Series - SOUL OF MATHEMATICS\",\"isPartOf\":{\"@id\":\"https:\/\/soulofmathematics.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png\",\"datePublished\":\"2021-12-05T07:42:01+00:00\",\"dateModified\":\"2021-12-06T05:03:47+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#primaryimage\",\"url\":\"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?fit=577%2C433&ssl=1\",\"contentUrl\":\"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?fit=577%2C433&ssl=1\",\"width\":577,\"height\":433},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/soulofmathematics.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"The Topology Series\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/soulofmathematics.com\/#website\",\"url\":\"https:\/\/soulofmathematics.com\/\",\"name\":\"SOUL OF MATHEMATICS\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/soulofmathematics.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"The Topology Series - SOUL OF MATHEMATICS","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/","og_locale":"en_US","og_type":"article","og_title":"The Topology Series - SOUL OF MATHEMATICS","og_description":"Chapter 1 Prerequisites- Set Theory What is topology? In simple terms, Topology is concerned with the geometric properties of objects when it undergoes physical distortions like stretching, twisting, and bending. Now we dive a bit deeper in terms of mathematics. \u00a0 Point set&nbsp;topology&nbsp;is a disease from which the human race will soon recover. Henri Poincare","og_url":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/","og_site_name":"SOUL OF MATHEMATICS","article_modified_time":"2021-12-06T05:03:47+00:00","og_image":[{"url":"https:\/\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/","url":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/","name":"The Topology Series - SOUL OF MATHEMATICS","isPartOf":{"@id":"https:\/\/soulofmathematics.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#primaryimage"},"image":{"@id":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#primaryimage"},"thumbnailUrl":"https:\/\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png","datePublished":"2021-12-05T07:42:01+00:00","dateModified":"2021-12-06T05:03:47+00:00","breadcrumb":{"@id":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#primaryimage","url":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?fit=577%2C433&ssl=1","contentUrl":"https:\/\/i0.wp.com\/soulofmathematics.com\/wp-content\/uploads\/2021\/12\/Trefoil_knot_arb-removebg-preview.png?fit=577%2C433&ssl=1","width":577,"height":433},{"@type":"BreadcrumbList","@id":"https:\/\/soulofmathematics.com\/index.php\/the-topology-series\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/soulofmathematics.com\/"},{"@type":"ListItem","position":2,"name":"The Topology Series"}]},{"@type":"WebSite","@id":"https:\/\/soulofmathematics.com\/#website","url":"https:\/\/soulofmathematics.com\/","name":"SOUL OF MATHEMATICS","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/soulofmathematics.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"}]}},"jetpack_sharing_enabled":true,"jetpack-related-posts":[],"jetpack_shortlink":"https:\/\/wp.me\/Pcfs4y-NB","_links":{"self":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/pages\/3075","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/comments?post=3075"}],"version-history":[{"count":31,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/pages\/3075\/revisions"}],"predecessor-version":[{"id":3128,"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/pages\/3075\/revisions\/3128"}],"wp:attachment":[{"href":"https:\/\/soulofmathematics.com\/index.php\/wp-json\/wp\/v2\/media?parent=3075"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}