topological nets and filters
DESCRIPTION
Topological Nets and Filters. Mark Hunnell. Outline. Motivations for Nets and Filters Basic Definitions Construction of Equivalence Comparison and Applications. Motivations for Nets/Filters. Bolzano-Weierstrass Theorem Characterization of Continuity - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/1.jpg)
Topological Nets and Filters
Mark Hunnell
![Page 2: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/2.jpg)
Outline
1. Motivations for Nets and Filters
2. Basic Definitions
3. Construction of Equivalence
4. Comparison and Applications
![Page 3: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/3.jpg)
Motivations for Nets/Filters
•Bolzano-Weierstrass Theorem
•Characterization of Continuity
•Existence of sequences converging to limit points
•Countable and Bicompactness
![Page 4: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/4.jpg)
First Countability Axiom
Definition 1: X satisfies the first countability axiom if every point has a countable basis of neighborhoods
Examples:
1. Metric Spaces
2. Finite Complement Topology
3. /ℝ ℕ
![Page 5: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/5.jpg)
Basic Net Definitions
Definition 1: A partial order relation ≤ on a set A satisfies:
1. a ≤ a ∀a A∊
2. a ≤ b and b ≤ a implies a = b
3. a ≤ b and b ≤ c implies a ≤ c
Definition 2: A directed set J is a set with partial order relation ≤ such that ∀a, b J, c J such that a ∊ ∃ ∊ ≤ c and b ≤ c
![Page 6: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/6.jpg)
Basic Net Definitions
Definition 3: Let X be a topological space and J a directed set. A net is a function f: J → X
Definition 4: A net (xn) is said to converge to x X if for ∊every neighborhood U of x, n J such that n ∃ ∊ ≤ b implies xb ∊U.
Observation: If J is the set of natural numbers, these are the usual definitions of a sequence.
Example: Sets by reverse inclusion
![Page 7: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/7.jpg)
A Divergent Net
X
Directed Set J
![Page 8: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/8.jpg)
X0
A Convergent Net
X
Directed Set J
![Page 9: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/9.jpg)
Basic Filter Definitions
Definition 1: A non-void collection of non-void subsets of a ℬset X is a filter base if ∀B1, B2 , ∊ ℬ B1∩B2 ⊇ B3 .∊ ℬDefinition 2: A filter is a non-void collection of subsets of a ℱset X such that:
1. Every set containing a set in is in ℱ ℱ2. Every finite intersection of sets in is in ℱℱ3. ∅ ∉ ℱ
![Page 10: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/10.jpg)
Basic Filter Definitions
Lemma 1: A filter is a filter base and any filter base becomes a filter with the addition of supersets.
Definition 3: A filter base converges to xℬ 0 X if every ∊neighborhood U of x0 contains some set from .ℬ
![Page 11: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/11.jpg)
A Divergent Filter
B1 B2B3
B4
A ∉ ℱ
![Page 12: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/12.jpg)
A Convergent Filter
X= B0
B1
B2
B3
B4X0
![Page 13: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/13.jpg)
Construction of Associated Filters
Proposition 1: Let {xα}α J∊ be a net in a topological space X.
Let E(α)= { xk : k ≥ α}. Then ({xℬ α}) = {E(α) : α X} is a ∊filter base associated with the net {xα}.
Proof: Let E(α1), E(α2) ({x∊ ℬ α}). Since J is a directed set, ∃α3 such that α1 ≤ α3 and α2 ≤ α3 .
E(α3) E(α⊆ 1) ∩ E(α2) , and therefore ({xℬ α}) is a filter base.
![Page 14: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/14.jpg)
Convergence of Associated Filters 1
Proposition 2: Let {xα}α J∊ converge to x0 X ({x∊ α}→ x0), then
({xℬ α})→ x0.
Proof: Since {xα}→ x0, then for every neighborhood U of x
α such that α ∃ ≤ β implies that xβ U. Then each ∊
E(α)= { xk : k ≥ α} contains only elements of U, so
E(α) U. Thus every neighborhood of x⊆ 0 contains an
element of ({xℬ α}), so ({xℬ α})→ x0.
![Page 15: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/15.jpg)
Convergence of Associated Filters 2
X
x1 x2 x3 x4
E1 E2
E3
E4
![Page 16: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/16.jpg)
Construction of Associated Nets
Proposition 3: Let = { Eℬ α} α A ∊ be a filter base on a topological
space X. Order A = {α} with the relation α ≤ βif Eα E⊇ β. From
each Eα select an arbitrary xα E∊ α. Then ж( ) = {xℬ α} α A ∊ is a net
associated with the filter base .ℬProof: A is directed since the definition of a filter base yields the existence of γ such that α,∀ β A, E∊ α ∩ Eβ E γ. ⊇Therefore α ≤ γ and β≤ γ, so A is directed. We now show that each xα X. Since each x∊ α was chosen from a subset of X, this
is clearly the case. Therefore the process constructs a function from a directed set into the space X, so ж( ) is a net on X.ℬ
![Page 17: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/17.jpg)
Convergence of Associated Nets
Proposition 4: If a filter base converges to xℬ 0 X, then any ∊net associated with converges to xℬ 0.
Proof: Let ж( ) be a net associated with . Then for every ℬ ℬneighborhood U of x0 E∃ α such that E∊ ℬ α U. Then ⊆ ∀β≥ α,
Eβ E⊆ α U. Then x⊆ ∀ β E∊ β, xβ U. Therefore ж( )→ x∊ ℬ 0.
![Page 18: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/18.jpg)
Convergence of Associated Nets
X
x1 x2 x3 x4
B1 B2
B3
B4
![Page 19: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/19.jpg)
Filter Advantages
•Associated filters are unique
•Structure (subsets of the power set)
•Formation of a completely distributive lattice–Compactifications, Ideal Points–Relevance to Logic
![Page 20: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/20.jpg)
Net Advantages
•Direct Generalization of Sequences
•Carrying Information
•Moore-Smith Limits
•Riemann Integral (Partitions ordered by refinement)
![Page 21: Topological Nets and Filters](https://reader036.vdocuments.mx/reader036/viewer/2022062801/56814312550346895daf6420/html5/thumbnails/21.jpg)
Summary
FiltersTopological Arguments
Set Theoretic Arguments
NetsAnalytical Arguments
Information