# Thread:

1. ## 1-manifolds

Hi to all!
I'm a new member, my name is Riccardo.
I've a problem with 1-manifolds, 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 1-manifold 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 half-open
interval [0, 1). Sets of the first type will be called O-sets, of the second
type H-sets, of either type I-sets, and the corresponding homeomorphsms
to these intervals will be called O-charts,H-charts, and I-charts, respectively.
If X can be covered by O-sets it is a manifold without boundary, otherwise it
is a manifold with boundary.

From here on U and V will stand for I-sets in a 1-manifold and f and g will be
associated I-charts.

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

2. Suppose $f|_{W}(x_n)\subset (0,1)$ has a limit point $0<b<1$. Use the lemma on the sets $U'=U\cap V-W, \ V'=W$ and the sequence $f^{-1}\circ (f|_{W})(x_n)$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 4, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8679900169372559, "perplexity_flag": "middle"}