SlideShare a Scribd company logo
1 of 12
Download to read offline
Urysohn Lemma
Class 15: Urysohn Lemma
Sebastian Vattamattam
23. November 2010
Sebastian Vattamattam Topology
Urysohn Lemma
Definition
X is normal if for disjoint closed sets A, B,
subsets of X, there exist disjoint open sets
U, V such that
A ⊂ U, B ⊂ V
Lemma
If X is normal, A is closed in X and open set
U contains A, then there exists open set V
such that
A ⊂ V ⊂ ¯V ⊂ U
Sebastian Vattamattam Topology
Urysohn Lemma
Theorem
Thm33.1 in [1]
Urysohn Lemma
X is normal, A, B disjoint, closed in X. [a, b]
a closed interval in R
Then there exists f : X → [a, b] such that
1
f is continuous.
2
f −1
(a) = A, f −1
(b) = B
Proof
We take a = 0, b = 1
Sebastian Vattamattam Topology
Urysohn Lemma
1
Step 1: Let P := Q [0, 1]
To show that, for p, q ∈ P, p < q
there exist open sets Up, Uq such
that
¯Up ⊂ Uq
Proof by induction
Since P is countable, let P = (xn), an
infinite sequence, where x1 = 1, x2 = 0.
For n ∈ N, let
Pn := {xk|k ≤ n}
Sebastian Vattamattam Topology
Urysohn Lemma
1 P1 = {1} and the result is vacuously true.
For P2 = {1, 0} , 0 < 1, let
U1 = X − B
U1 is an open neighborhood of A
By lemma 1.2, there is an open set U0 such that
A ⊂ U0 ⊂ ¯U0 ⊂ U1
Thus the result is true on P2
2 Suppose the result is true for p, q ∈ Pn, p < q
That is, there exist open sets Up, Uq such that
¯Up ⊂ Uq
Let xn+1 = r and Pn+1 := Pn {r}
Pn+1 is a finite subset of [0, 1]
With the usual order relation on [0, 1], Pn+1 is simply ordered.
Since x1 = 1, x2 = 0 ∈ Pn+1, 0 = min Pn+1, 1 = max Pn+1
In Pn+1 every number, other than 0 and 1, has an immediate
predecessor and an immediate successor.
Sebastian Vattamattam Topology
Urysohn Lemma
Since r /∈ {0, 1}, let p be the immediate predecessor and q be
the immediate successor of r in Pn+1
Since p < q in Pn, by hypothesis, there exist open sets Up, Uq
such that
¯Up ⊂ Uq (1.1)
Again by lemma 1.2, there exist open set Ur in X such that
¯Up ⊂ Ur ⊂ ¯Ur ⊂ Uq (1.2)
To show that the result holds for each pair of elements in Pn+1
By the hypothesis, it holds for every pair of elements in Pn
Consider the pair (r, s), where s ∈ Pn
If s ≤ p, then by 1.1 and 1.2, ¯Us ⊂ Up ⊂ ¯Up ⊂ Ur
If s ≥ q then r < q ≤ s and hence by 1.1 and 1.2,
¯Ur ⊂ Uq ⊂ Us
Thus for every pair of elements of Pn+1, the result holds.
The conclusion follows by induction.
2
Step 2
Sebastian Vattamattam Topology
Urysohn Lemma
To extend the result in Step 1 to all
p ∈ Q
Let
Up =
φ if p < 0;
X if p > 1
Now again, for p, q ∈ Q, p < q
¯Up ⊂ Uq (1.3)
3
Step 3
For x ∈ X, let
Q(x) := {p ∈ Q|x ∈ Up}
Sebastian Vattamattam Topology
Urysohn Lemma
If p < 0, Up = φ and hence
0 ≤ p ∀p ∈ Q(x)
Define
f : X → [0, 1], f (x) = inf Q(x)
= inf {p|x ∈ Up}
4
Step 4
To show that
1 f −1
(a) = A, f −1
(b) = B
2 f is continuous.
1 Let a ∈ A
Since A ⊂ U0 ⊂ ¯U0 ⊂ Up, ∀p ≥ 0
a ∈ Up, ∀p ≥ 0
Sebastian Vattamattam Topology
Urysohn Lemma
⇒ f (a) = inf Q(a) = 0, ∀a ∈ A
Let b ∈ B ⇒ b /∈ X − B = U1 ⊃ Up, ∀p ≤ 1
⇒ b /∈ Up, ∀p ≤ 1
f (b) = inf Q(b) = 1
2 To prove
x ∈ ¯Ur ⇒ f (x) ≤ r (1.4)
x ∈ Ur ⇒ f (x) ≥ r (1.5)
1 Let x ∈ ¯Ur
For r < s, x ∈ ¯Ur ⊂ Us
⇒ x ∈ Us , ∀s > r
Therefore
Q(x) ⊃ {p ∈ Q|p > r}
⇒ f (x) = inf Q(x) ≤ r
Sebastian Vattamattam Topology
Urysohn Lemma
2 Let x /∈ Ur
For s < r, Us ⊂ ¯Us ⊂ Ur
So, x /∈ Us , ∀s < r
f (x) = inf Q(x) ≥ r
3 To prove f is continuous.
Let x0 ∈ X, and c < f (x0) < d
Let p, q ∈ Q such that
c < p < f (x0) < q < q
Then ¯Up ⊂ Uq
Let
U := Uq − ¯Up, open
f (x0) < q ⇒ inf Q(x0) < q
⇒ x0 ∈ Uq
f (x0) > p ⇒ inf Q(x0) > p
⇒ x0 /∈ Up ⊂ ¯Up
Thus
x0 ∈ U
Sebastian Vattamattam Topology
Urysohn Lemma
To show that
f (U) ⊂ (c, d)
x ∈ U ⇒ x ∈ Uq ⊂ ¯Uq
By (1.5)
f (x) ≤ q
x /∈ ¯Up ⇒ x /∈ Up
By (1.6)
f (x) ≥ p
Thus
f (x) ∈ [p, q] ⊂ (c, d)
f (U) ⊂ (c, d)
Therefore f is continuous.
vattamattam@gmail.com
Sebastian Vattamattam Topology
Urysohn Lemma
James R. Munkres,Topology, Second
Edition, Prentice-Hall of India, New Delhi,
2002.
Sebastian Vattamattam Topology

More Related Content

Similar to Topo15slide

orthogonal.pptx
orthogonal.pptxorthogonal.pptx
orthogonal.pptxJaseSharma
 
1982 A Stochastic Logistic Diffusion Equation
1982 A Stochastic Logistic Diffusion Equation1982 A Stochastic Logistic Diffusion Equation
1982 A Stochastic Logistic Diffusion EquationBob Marcus
 
Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)
Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)
Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)Dahua Lin
 
physics-of-vibration-and-waves-solutions-pain
 physics-of-vibration-and-waves-solutions-pain physics-of-vibration-and-waves-solutions-pain
physics-of-vibration-and-waves-solutions-painmiranteogbonna
 
Papoulis%20 solutions%20manual%204th%20edition 1
Papoulis%20 solutions%20manual%204th%20edition 1Papoulis%20 solutions%20manual%204th%20edition 1
Papoulis%20 solutions%20manual%204th%20edition 1awsmajeedalawadi
 
Common Fixed Point Theorems in Uniform Spaces
Common Fixed Point Theorems in Uniform SpacesCommon Fixed Point Theorems in Uniform Spaces
Common Fixed Point Theorems in Uniform SpacesIJLT EMAS
 
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...UniversitasGadjahMada
 
Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015Nayanmani Sarma
 
Presentation - Copy.pdf
Presentation - Copy.pdfPresentation - Copy.pdf
Presentation - Copy.pdfbushratufail3
 
Uniform spaces -_riyas
Uniform spaces -_riyasUniform spaces -_riyas
Uniform spaces -_riyasarathyan
 
Wasserstein gan
Wasserstein ganWasserstein gan
Wasserstein ganJinho Lee
 
Partial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examplesPartial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examplesEnrique Valderrama
 
evans_pde_solutions_ch2_ch3.pdf
evans_pde_solutions_ch2_ch3.pdfevans_pde_solutions_ch2_ch3.pdf
evans_pde_solutions_ch2_ch3.pdfCrystianneLilian
 

Similar to Topo15slide (20)

orthogonal.pptx
orthogonal.pptxorthogonal.pptx
orthogonal.pptx
 
Least Squares
Least SquaresLeast Squares
Least Squares
 
1982 A Stochastic Logistic Diffusion Equation
1982 A Stochastic Logistic Diffusion Equation1982 A Stochastic Logistic Diffusion Equation
1982 A Stochastic Logistic Diffusion Equation
 
Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)
Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)
Appendix to MLPI Lecture 2 - Monte Carlo Methods (Basics)
 
physics-of-vibration-and-waves-solutions-pain
 physics-of-vibration-and-waves-solutions-pain physics-of-vibration-and-waves-solutions-pain
physics-of-vibration-and-waves-solutions-pain
 
Microeconomics-Help-Experts.pptx
Microeconomics-Help-Experts.pptxMicroeconomics-Help-Experts.pptx
Microeconomics-Help-Experts.pptx
 
Papoulis%20 solutions%20manual%204th%20edition 1
Papoulis%20 solutions%20manual%204th%20edition 1Papoulis%20 solutions%20manual%204th%20edition 1
Papoulis%20 solutions%20manual%204th%20edition 1
 
G03201034038
G03201034038G03201034038
G03201034038
 
Probable
ProbableProbable
Probable
 
Least Squares
Least SquaresLeast Squares
Least Squares
 
Common Fixed Point Theorems in Uniform Spaces
Common Fixed Point Theorems in Uniform SpacesCommon Fixed Point Theorems in Uniform Spaces
Common Fixed Point Theorems in Uniform Spaces
 
Ch05 3
Ch05 3Ch05 3
Ch05 3
 
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
ON OPTIMALITY OF THE INDEX OF SUM, PRODUCT, MAXIMUM, AND MINIMUM OF FINITE BA...
 
Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015Solutions of AHSEC Mathematics Paper 2015
Solutions of AHSEC Mathematics Paper 2015
 
Presentation - Copy.pdf
Presentation - Copy.pdfPresentation - Copy.pdf
Presentation - Copy.pdf
 
Uniform spaces -_riyas
Uniform spaces -_riyasUniform spaces -_riyas
Uniform spaces -_riyas
 
Wasserstein gan
Wasserstein ganWasserstein gan
Wasserstein gan
 
Imc2016 day1-solutions
Imc2016 day1-solutionsImc2016 day1-solutions
Imc2016 day1-solutions
 
Partial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examplesPartial Differential Equations, 3 simple examples
Partial Differential Equations, 3 simple examples
 
evans_pde_solutions_ch2_ch3.pdf
evans_pde_solutions_ch2_ch3.pdfevans_pde_solutions_ch2_ch3.pdf
evans_pde_solutions_ch2_ch3.pdf
 

More from Sebastian Vattamattam (9)

Problems in Linear Programming 2
Problems in Linear Programming 2Problems in Linear Programming 2
Problems in Linear Programming 2
 
P
PP
P
 
Linear Differential Equations1
Linear Differential Equations1Linear Differential Equations1
Linear Differential Equations1
 
Linear eqn
Linear eqnLinear eqn
Linear eqn
 
Graph T
Graph TGraph T
Graph T
 
Transformation of Curves
Transformation of CurvesTransformation of Curves
Transformation of Curves
 
Functions, Graphs, & Curves
Functions, Graphs, & CurvesFunctions, Graphs, & Curves
Functions, Graphs, & Curves
 
Beautiful Mathematical Curves: 11 - 20
Beautiful Mathematical Curves: 11 - 20Beautiful Mathematical Curves: 11 - 20
Beautiful Mathematical Curves: 11 - 20
 
Slide Show 1
Slide Show 1Slide Show 1
Slide Show 1
 

Recently uploaded

Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptxLBM Solutions
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls
 
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr LapshynFwdays
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsRizwan Syed
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 3652toLead Limited
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...shyamraj55
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106
 
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Mattias Andersson
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Patryk Bandurski
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsMemoori
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitecturePixlogix Infotech
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...Fwdays
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking MenDelhi Call girls
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024Scott Keck-Warren
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesSinan KOZAK
 

Recently uploaded (20)

Key Features Of Token Development (1).pptx
Key  Features Of Token  Development (1).pptxKey  Features Of Token  Development (1).pptx
Key Features Of Token Development (1).pptx
 
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
 
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
"Federated learning: out of reach no matter how close",Oleksandr Lapshyn
 
Scanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL CertsScanning the Internet for External Cloud Exposures via SSL Certs
Scanning the Internet for External Cloud Exposures via SSL Certs
 
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
Tech-Forward - Achieving Business Readiness For Copilot in Microsoft 365
 
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
Automating Business Process via MuleSoft Composer | Bangalore MuleSoft Meetup...
 
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticsKotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics
 
Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?Are Multi-Cloud and Serverless Good or Bad?
Are Multi-Cloud and Serverless Good or Bad?
 
Vulnerability_Management_GRC_by Sohang Sengupta.pptx
Vulnerability_Management_GRC_by Sohang Sengupta.pptxVulnerability_Management_GRC_by Sohang Sengupta.pptx
Vulnerability_Management_GRC_by Sohang Sengupta.pptx
 
DMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special EditionDMCC Future of Trade Web3 - Special Edition
DMCC Future of Trade Web3 - Special Edition
 
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
Integration and Automation in Practice: CI/CD in Mule Integration and Automat...
 
Pigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food ManufacturingPigging Solutions in Pet Food Manufacturing
Pigging Solutions in Pet Food Manufacturing
 
The transition to renewables in India.pdf
The transition to renewables in India.pdfThe transition to renewables in India.pdf
The transition to renewables in India.pdf
 
AI as an Interface for Commercial Buildings
AI as an Interface for Commercial BuildingsAI as an Interface for Commercial Buildings
AI as an Interface for Commercial Buildings
 
Understanding the Laravel MVC Architecture
Understanding the Laravel MVC ArchitectureUnderstanding the Laravel MVC Architecture
Understanding the Laravel MVC Architecture
 
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks..."LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
"LLMs for Python Engineers: Advanced Data Analysis and Semantic Kernel",Oleks...
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
08448380779 Call Girls In Diplomatic Enclave Women Seeking Men
 
SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024SQL Database Design For Developers at php[tek] 2024
SQL Database Design For Developers at php[tek] 2024
 
Unblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen FramesUnblocking The Main Thread Solving ANRs and Frozen Frames
Unblocking The Main Thread Solving ANRs and Frozen Frames
 

Topo15slide

  • 1. Urysohn Lemma Class 15: Urysohn Lemma Sebastian Vattamattam 23. November 2010 Sebastian Vattamattam Topology
  • 2. Urysohn Lemma Definition X is normal if for disjoint closed sets A, B, subsets of X, there exist disjoint open sets U, V such that A ⊂ U, B ⊂ V Lemma If X is normal, A is closed in X and open set U contains A, then there exists open set V such that A ⊂ V ⊂ ¯V ⊂ U Sebastian Vattamattam Topology
  • 3. Urysohn Lemma Theorem Thm33.1 in [1] Urysohn Lemma X is normal, A, B disjoint, closed in X. [a, b] a closed interval in R Then there exists f : X → [a, b] such that 1 f is continuous. 2 f −1 (a) = A, f −1 (b) = B Proof We take a = 0, b = 1 Sebastian Vattamattam Topology
  • 4. Urysohn Lemma 1 Step 1: Let P := Q [0, 1] To show that, for p, q ∈ P, p < q there exist open sets Up, Uq such that ¯Up ⊂ Uq Proof by induction Since P is countable, let P = (xn), an infinite sequence, where x1 = 1, x2 = 0. For n ∈ N, let Pn := {xk|k ≤ n} Sebastian Vattamattam Topology
  • 5. Urysohn Lemma 1 P1 = {1} and the result is vacuously true. For P2 = {1, 0} , 0 < 1, let U1 = X − B U1 is an open neighborhood of A By lemma 1.2, there is an open set U0 such that A ⊂ U0 ⊂ ¯U0 ⊂ U1 Thus the result is true on P2 2 Suppose the result is true for p, q ∈ Pn, p < q That is, there exist open sets Up, Uq such that ¯Up ⊂ Uq Let xn+1 = r and Pn+1 := Pn {r} Pn+1 is a finite subset of [0, 1] With the usual order relation on [0, 1], Pn+1 is simply ordered. Since x1 = 1, x2 = 0 ∈ Pn+1, 0 = min Pn+1, 1 = max Pn+1 In Pn+1 every number, other than 0 and 1, has an immediate predecessor and an immediate successor. Sebastian Vattamattam Topology
  • 6. Urysohn Lemma Since r /∈ {0, 1}, let p be the immediate predecessor and q be the immediate successor of r in Pn+1 Since p < q in Pn, by hypothesis, there exist open sets Up, Uq such that ¯Up ⊂ Uq (1.1) Again by lemma 1.2, there exist open set Ur in X such that ¯Up ⊂ Ur ⊂ ¯Ur ⊂ Uq (1.2) To show that the result holds for each pair of elements in Pn+1 By the hypothesis, it holds for every pair of elements in Pn Consider the pair (r, s), where s ∈ Pn If s ≤ p, then by 1.1 and 1.2, ¯Us ⊂ Up ⊂ ¯Up ⊂ Ur If s ≥ q then r < q ≤ s and hence by 1.1 and 1.2, ¯Ur ⊂ Uq ⊂ Us Thus for every pair of elements of Pn+1, the result holds. The conclusion follows by induction. 2 Step 2 Sebastian Vattamattam Topology
  • 7. Urysohn Lemma To extend the result in Step 1 to all p ∈ Q Let Up = φ if p < 0; X if p > 1 Now again, for p, q ∈ Q, p < q ¯Up ⊂ Uq (1.3) 3 Step 3 For x ∈ X, let Q(x) := {p ∈ Q|x ∈ Up} Sebastian Vattamattam Topology
  • 8. Urysohn Lemma If p < 0, Up = φ and hence 0 ≤ p ∀p ∈ Q(x) Define f : X → [0, 1], f (x) = inf Q(x) = inf {p|x ∈ Up} 4 Step 4 To show that 1 f −1 (a) = A, f −1 (b) = B 2 f is continuous. 1 Let a ∈ A Since A ⊂ U0 ⊂ ¯U0 ⊂ Up, ∀p ≥ 0 a ∈ Up, ∀p ≥ 0 Sebastian Vattamattam Topology
  • 9. Urysohn Lemma ⇒ f (a) = inf Q(a) = 0, ∀a ∈ A Let b ∈ B ⇒ b /∈ X − B = U1 ⊃ Up, ∀p ≤ 1 ⇒ b /∈ Up, ∀p ≤ 1 f (b) = inf Q(b) = 1 2 To prove x ∈ ¯Ur ⇒ f (x) ≤ r (1.4) x ∈ Ur ⇒ f (x) ≥ r (1.5) 1 Let x ∈ ¯Ur For r < s, x ∈ ¯Ur ⊂ Us ⇒ x ∈ Us , ∀s > r Therefore Q(x) ⊃ {p ∈ Q|p > r} ⇒ f (x) = inf Q(x) ≤ r Sebastian Vattamattam Topology
  • 10. Urysohn Lemma 2 Let x /∈ Ur For s < r, Us ⊂ ¯Us ⊂ Ur So, x /∈ Us , ∀s < r f (x) = inf Q(x) ≥ r 3 To prove f is continuous. Let x0 ∈ X, and c < f (x0) < d Let p, q ∈ Q such that c < p < f (x0) < q < q Then ¯Up ⊂ Uq Let U := Uq − ¯Up, open f (x0) < q ⇒ inf Q(x0) < q ⇒ x0 ∈ Uq f (x0) > p ⇒ inf Q(x0) > p ⇒ x0 /∈ Up ⊂ ¯Up Thus x0 ∈ U Sebastian Vattamattam Topology
  • 11. Urysohn Lemma To show that f (U) ⊂ (c, d) x ∈ U ⇒ x ∈ Uq ⊂ ¯Uq By (1.5) f (x) ≤ q x /∈ ¯Up ⇒ x /∈ Up By (1.6) f (x) ≥ p Thus f (x) ∈ [p, q] ⊂ (c, d) f (U) ⊂ (c, d) Therefore f is continuous. vattamattam@gmail.com Sebastian Vattamattam Topology
  • 12. Urysohn Lemma James R. Munkres,Topology, Second Edition, Prentice-Hall of India, New Delhi, 2002. Sebastian Vattamattam Topology