Real Analysis
Arun Ram
Department of Mathematics and Statistics
University of Melbourne
Parkville, VIC 3010 Australia
aram@unimelb.edu.au
Last update: 19 July 2014
Lecture 30
Let be a topological space with topology Let
In English:
The interior of is the largest open set contained in
In maths:
The interior of is a set such that
(a) |
is open and
|
(b) |
if is open and then
|
Let A neighbourhood of is an open set
such that
Let A interior point of is a
such that there exists a neighbourhood of
with
Let be a topological space. Let Then
|
|
Proof. |
|
Let
To show:
To show:
(a) |
|
(b) |
|
(a) To show: If then is an
interior point of
Assume
To show: is an interior point of
Since is open and
and
is an interior point of
(b) To show: If is an interior point of then
Assume is an interior point of
To show:
There is a neighbourhood of with
Since is open and then
So because
|
A function
is normal continuous if satisfies:
If then
A function is topology continuous if satisfies:
If is open then
is open.
Let be a function.
is normal continuous if and only if is topology continuous.
|
|
Proof. |
|
To show:
(a) |
If is normal continuous then is topology continuous.
|
(b) |
If is topology continuous then is normal continuous.
|
(a) Assume is normal continuous.
To show: is topology continuous.
To show: If is open then
is open.
Assume is open.
To show: is open.
To show: If
then is an interior point of
Assume
To show: is an interior point of
We know
Since is open, is an interior point of
So there exists such that
Since is normal continuous there exists
such that if then
So there exists such that
So
So
So is an interior point of
(b) Assume is topology continuous.
To show: is normal continuous.
To show: If and
then there exists
such that if
then
Assume and
To show: There exists such that
To show: There exists such that
Since is topology continuous and
is open then
is open.
So is an interior point of
So there exists with
|
Notes and References
These are notes from a 2010 course on Real Analysis 620-295. This page comes from 100519Lect30.pdf and was given on 19 May 2010.
page history