Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
1Activity
0 of .
Results for:
No results containing your search query
P. 1
Felix Cabello Sanchez- On Continuous Surjections from Cantor Set

Felix Cabello Sanchez- On Continuous Surjections from Cantor Set

Ratings: (0)|Views: 9|Likes:
Published by Nine000

More info:

Published by: Nine000 on Dec 25, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/25/2011

pdf

text

original

 
E     
extracta mathematicae
Vol.
19
, um. 3, 335337 (2004)
On Continuous Surjections from Cantor Set
F´elix Cabello S´anchez
Departamento de Matem´ aticas, Universidad de Extremadura,Avda. Elvas,
06071-
Badajoz, Spain e-mail: fcabello@unex.es
(Presented by J.M.F. Castillo)AMS
Subject Class.
(2000): 54C55
Received January 
21, 2004
It is a famous result of Alexandroff and Urysohn [1] that every compactmetric space is a continuous image of Cantor set ∆. In this short note wecomplement this result by showing that a certain “uniqueness” property holds.Given topological spaces
and
, let
(
X,
) denote the collection of all continuous mappings from
to
. If 
is metrized by
d
, one can endow
(
X,
) with the uniform metricdist(
f,g
) = sup
x
X
d
(
(
x
)
,g
(
x
))
.
It is clear that if 
ϕ
is a homeomorphism of 
, the map
ϕ
is anisometry of 
(
X,
).Our result is the following.
Theorem.
Let 
be a compact metric space and let 
and 
g
be twocontinuous mappings from 
onto
. For ever
ε >
0
there exists a homeo-morphism 
ϕ
of 
such that 
dist(
g,
ϕ
)
< ε
.
Before going into the proof, let us fix some notations. We regard the pointsof ∆ =
{
0
,
1
}
N     
as functions
x
:
N
{
0
,
1
}
and we write ∆
(
n
)
for the set of alltwo-valued functions
y
:
{
1
,
2
,...,n
} {
0
,
1
}
. Given
y
(
n
)
, put
y
=
{
x
:
x
(
k
) =
y
(
k
)
,
1
k
n
}
.
Obviously ∆
y
is homeomorphic to ∆. The
n
-th standard decomposition of ∆is the partition of ∆ into the 2
n
clopen sets=
y
(
n
)
y
.
Supported in part by DGICYT project BMF 2001—083.
335
 
336
f. cabello s´anchezLemma.
Let 
be a finite set and let 
and 
g
be be two surjections
which are constant on the sets of some standard decomposition of 
. Then there is a homemorphism 
ϕ
of 
such that 
g
=
ϕ
.Proof.
Since ∆
∆ we see that for every
s
there is a homeo-morphism
ϕ
s
:
g
1
(
s
)
1
(
s
). In fact,
h
1
(
s
)
k
h
...
(
h
=
f, g
)
.
The required homeomorphism is then given by
ϕ
=
s
ϕ
s
: =
s
g
1
(
s
)
s
1
(
s
) =
.
Proof of the Theorem.
Fix
ε >
0 and take
n
such that if ∆ =
y
y
is the
n
-th standard decomposition, then the sets
h
(∆
y
) (
h
=
f,g
)have all diameter at most
ε
. Also, for
y
(
n
)
, let
y
+
= min
y
and define
h
1
:
taking
h
1
(
x
) =
h
(
y
+
) for
x
y
. Clearly, dist(
h,h
1
)
ε
for
h
=
f,g
and so the sets
h
1
(∆) are
ε
-nets on
having at most 2
n
points.Let
1
be the range of 
1
and define
g
2
:
1
taking
g
2
(∆
y
) asthe point
k
1
minimizing the distance to
g
1
(∆
y
) =
g
(
y
+
). Clearly,dist(
g
2
,g
1
)
ε
. Of course,
g
2
need not be onto
1
, but its range, say
is a 2
ε
-net in
and so there exists a projection of 
1
onto its subset
suchthat dist(
π,
Id
)
2
ε
. Taking
2
=
π
1
, we see that dist(
2
,
1
)
2
ε
.Finally, we can apply the Lemma to the pair
2
,g
2
to get a homeomorphism
ϕ
of ∆ such that
g
2
=
2
ϕ
. Thereforedist(
g,
ϕ
)
dist(
g,g
2
) + dist(
g
2
,
ϕ
)
dist(
g,g
2
) + dist(
g
2
,
2
ϕ
) + dist(
2
ϕ,
ϕ
)
5
ε,
which completes the proof.
Remarks
.
Every non-empty clopen subset of ∆ is homeomorphic to ∆(this follows from Hausdorff characterization of ∆ as the only totally discon-nected perfect compact metric space [3]). So, the Lemma holds without anyrestriction on
and
g
.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->