
1manifolds
Hi to all!:)
I'm a new member, my name is Riccardo.
I've a problem with 1manifolds, i have to prove a proposition but i can't do it.
Here is the extract of the book with notation and the proposition 1 that i have to prove:
//
DEFINITION. A 1manifold is a second countable Hausdorff topological
space X such that X can be covered by open sets each of which is
homeomorphic either to the open interval (0,1) or the halfopen
interval [0, 1). Sets of the first type will be called Osets, of the second
type Hsets, of either type Isets, and the corresponding homeomorphsms
to these intervals will be called Ocharts,Hcharts, and Icharts, respectively.
If X can be covered by Osets it is a manifold without boundary, otherwise it
is a manifold with boundary.
From here on U and V will stand for Isets in a 1manifold and f and g will be
associated Icharts.
LEMMA. Suppose U∩V (set theoretic intersection) and U  V are
nonempty and let (x_n) be a sequence in U n V converging
to x in U  V (set theoretic difference). Then the sequence g(x_n)
has no limit point in g(V).
We say that U and V ouerlap if U∩V, U  V and V  U are nonempty.
DEFINITION. An open subinterval of (0,1) is lower if it is of the form (0, b) and
upper if it is of the form (a, 1). A subinterval which is either upper or lower is
called outer. It is easy to see that an open interval in (0,1) is outer if and only if it
contains a sequence with no limit point in (0,1). Similarly, in [0, 1), a subinterval is
called upper and outer if it is of the form (a, 1). (There are, by definition, no lower
open subintervals of [0, 1).) An open subinterval of [O,1) is outer if and only if it
contains a sequence with no limit point in [O,1).
PROPOSITION1. If U and V overlap and W is a component of U∩V, then f(W)
and g(W) are outer intervals.
Hint: Note that f(W) is a proper subinterval of f(U). Using the lemma show
that f(W) is an open interval. Then construct an appropriate sequence in f(W)
and use the lemma again.
//
Thank you in advance

Suppose has a limit point . Use the lemma on the sets and the sequence .