Sottospazio affine Euclideo (topologia)

asabasa
Dato uno spazio affine Euclideo $E$ (modellato sullo spazio vettoriale $F$) un sottoinsieme non vuoto $A ⊂E$ è detto sottospazio affine di $E$ , se è l'orbita di un punto $p_0inE$ sotto l'azione affine del sottospazio vettoriale n-dimensionale
$B⊂ F$
$A = p_0 + B := {p_0 + v}_{v∈B}$
($p_0 ∈ A$ and $A = p + B$ $ AA p ∈ A$ ).

Un sottoinsieme non vuoto $A ⊂ E$ eredita la struttura di spazio affine modellato
sul sottospazio vettoriale $B ⊂ F$ se e solo se $A = p_0 + A$ con $p_0∈ E $

(Questo perchè la restrizione di $+|{AxB}:AxB->A:(p,v)->p+v=p_0+v+v$ dove ${v+v}inB$ ?)


In $A$, inteso sia come spazio affine Euclideo a sè sia come sottospazio topologico di $E$,
la topologia Euclidea coincide con la topologia di sottospazio.
NOTA: ogni sfera aperta $B_p^rsuba$ è data da $B_p^r=b_p^rnnA$ con $b_p^rnnE$, $b_p^r$ sfera aperta di $E$

Come si dimostra?

Vediamo se almeno i concetti mi sono chiari:

La topologia Euclidea è quella che considera come insiemi aperti le sfere aperte e tutti i sottoinsiemi ottenuti come unione di sfere aperte, e l'insieme vuoto. Con $tau_E$ si indica la topologia Euclidea che sarebbe la collezione di tutti gli insiemi aperti,
che soddisfa 3 proprietà :
-$varphi,E in T_E$
-l'unione numerabile di aperti è un aperto,
-l'intersezione finita di aperti è un aperto.

$E$ equipaggiato con $tau_E$ è uno spazio topologico.

La topologia di sottospazio è la collezione di sottoinsiemi $tau_A={AnnU}_{U in tau_E}$, è la struttura topologica che $A$ eredita da $E$.

Risposte
asabasa
uppino

asabasa
Nessun input per la dimostrazione?
O almeno qualcuno che controlli che non ho detto tutte baggianate? :D

asabasa
Ci riprovo, per l'ultima volta T_T

asabasa
Ok, è questa l'ultima volta.
Riepilogando:
Dato uno spazio affine Euclideo E:
La topologia Euclidea è quella che considera come insiemi aperti le sfere aperte e tutti i sottoinsiemi ottenuti come unione di sfere aperte, e l'insieme vuoto.

Con $tau_E$ si indica la topologia Euclidea che sarebbe la collezione di tutti gli insiemi aperti,

che soddisfa 3 proprietà :
-$varphi,E in T_E$
-l'unione numerabile di aperti è un aperto,
-l'intersezione finita di aperti è un aperto.

$E$ equipaggiato con $tau_E$ è uno spazio topologico.

La topologia di sottospazio è la collezione di sottoinsiemi $tau_A={AnnU}_{U in tau_E}$, è la struttura topologica che $A$ eredita da $E$.

Dato $AsubE$ sottospazio affine Euclideo devo dimostrare che la topologia Euclidea e quella di sottospazio coincidono.

$B_p^rsuba$ è data da $B_p^r=b_p^rnnA$ con $b_p^rnnE$, $b_p^r$ sfera aperta di $E$

- $varphi,Ain T_A$
perchè $varphi=Ann varphi$ , $A=AnnE$ con $E,varphi$ aperti di $T_E$

-$U_nB_p^{r_n}=U_n(b_p^{r_n}nnA)=(U_nb_p^{r_n})nnA$

-$B_{p_1}^{r_1} , B_{p^2}^r in T_A$

$B_{p_1}^{r_1} = b_{p_1}^{r_1} nnA$

$ B_{p_2}^{r_2} = b_{p_2}^{r_2}nnA$

$B_{p_1}^{r_1}nnB_{p_2}^{r_2} =(b_{p_1}^{r_1} nnA)nn(b_{p_2}^{r_2} nnA)=(b_{p_1}^{r_1} nn b_{p_2}^{r_2})nnA$

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.