Side 1 av 1
Topologi
Lagt inn: 17/01-2017 20:18
av CharlieEppes
Hei, leser kjapt igjennom en oppsummering av den topologien som blir brukt i mangfoldigheter. Da dukket dette lemma opp;
Lemma 10.1.5 Let (X, T ) be a topological space. Prove that a subset U ⊆ X is open if
and only if for all p ∈ U there is an open set V such that p ∈ V ⊆ U.
Proof: Exercise!
er litt usikker på hvordan man viser dette. Kan huske å ha gjort noe lignende bevis i et reell analyse emne tidligere, men det var for metriske rom og tror ikke samme beviset gjelder her;
Noen pointers hadde vært kjekt;
Re: Topologi
Lagt inn: 17/01-2017 20:55
av Gustav
Det er ikke gitt at rommet har en metrikk, så beviset går helt utenom metriske rom.
Den ene veien $(\Rightarrow )$ er triviell.
$\Leftarrow $: La $V_p$ være den åpne mengden som inneholder p, og som er inneholdt i U.
Betrakt unionen $\bigcup_p V_p$
Re: Topologi
Lagt inn: 17/01-2017 21:05
av CharlieEppes
plutarco skrev:
Den ene veien $(\Rightarrow )$ er triviell.
Du mener da at siden $U \subseteq U$ vil jeg tro?
plutarco skrev:
$\Leftarrow $: La $V_p$ være den åpne mengden som inneholder p, og som er inneholdt i U.
Betrakt unionen $\bigcup_p V_p$
Nå skal jeg stille verdens dummeste spørsmål!
men bare føler for å få det bekreftet
Er da man sikker på at $\bigcup_p V_p$ er hele $U$ siden unionen av alle {p} er $U$ og $V_p \subseteq U$ ?
Re: Topologi
Lagt inn: 17/01-2017 22:18
av Gustav
CharlieEppes skrev:plutarco skrev:
Den ene veien $(\Rightarrow )$ er triviell.
Du mener da at siden $U \subseteq U$ vil jeg tro?
Ja, så bare velg V=U.
plutarco skrev:
$\Leftarrow $: La $V_p$ være den åpne mengden som inneholder p, og som er inneholdt i U.
Betrakt unionen $\bigcup_p V_p$
Nå skal jeg stille verdens dummeste spørsmål!
men bare føler for å få det bekreftet
Er da man sikker på at $\bigcup_p V_p$ er hele $U$ siden unionen av alle {p} er $U$ og $V_p \subseteq U$ ?
Det er ikke vanskelig å bevise at $\bigcup_p V_p=U$, som gjøres ved å vise både $\bigcup_p V_p\subseteq U$ og $\bigcup_p V_p\supseteq U$.
For den første: La $q\in \bigcup_p V_p$. Da fins en $p$ slik at $q\in V_p\subseteq U$.
For den andre: La $q\in U$. Da er $q\in V_q\subseteq \bigcup_p V_p$, siden unionen går over alle elementer i U.
Dermed er $\bigcup_p V_p=U$.
Fra definisjonen av en topologi, er enhver union av åpne mengder åpen, dermed er U åpen som unionen av åpne mengder $V_p$.