Sulle cofibrazioni di spazi topologici

Messaggioda killing_buddha » 08/12/2017, 21:35

Notazioni. "Spazio" significa spazio compattamente generato, debolmente Hausdorff. $I=[0,1]$ è il sottospazio di $\mathbb R$ con la solita topologia; per ogni spazio $Y$, denotiamo $Y^I$ lo spazio di tutti i cammini $\gamma : I \to Y$ con la topologia compatta aperta. Denotiamo \(@_\epsilon : Y^I\to Y\) per $\epsilon=0,1$ la funzione continua che valuta un cammino nel suo punto iniziale/finale (più in generale, v. qui).

Diciamo che una mappa di spazi topologici \(i : A \to X\) è una cofibrazione se in ogni quadrato commutativo
\[
\begin{CD}
A @>u>> Y^I \\
@ViVV @VV@_0V \\
X @>>v> Y
\end{CD}
\] esiste una $\varphi : X \to Y^I$ tale che \(@_0 \circ \varphi=v\), $\varphi \circ i = u$, se $Y$ è un qualsiasi spazio.

1. Dimostrate che $i : A \to X$ è una cofibrazione se e solo se ogni omotopia $H_A : A\times I \to Y$ tra $f \circ i$ e un'altra mappa $g : A\to Y$ si riesce ad estendere a un'omotopia $H : X \times I \to Y$ tra $f$ e $f'$, per $f, f' : X\to Y$. In altre parole le cofibrazioni hanno la proprietà di estendere le omotopie.

2. Supponendo che il quadrato
\[
\begin{CD}
A @>i>> B \\
@VfVV @VVgV \\
C @>>j> D
\end{CD}
\] commuti a meno di una omotopia \(gi \simeq jf\), dimostrate che se $i$ è una cofibrazione, allora esiste $g' : B \to D$ tale che $g'i = jf$; in altre parole, se $i$ è una cofibrazione si può rimpiazzare ogni quadrato analogo a quello sopra, che commuta a meno di omotopia, con uno che commuta davvero.

2.bis. Supponendo che il quadrato
\[
\begin{CD}
A @>i>> B \\
@VfVV @VVgV \\
C @>>j> D
\end{CD}
\] sia un pushout, e che $i$ sia una cofibrazione, dimostrare che lo è $j$.

3. Mostrare che l'inclusione di $\mathbb Q$ in $\mathbb R$ non è una cofibrazione.

3.bis. Mostrare che se $i : A \to X$ è una cofibrazione, tale è anche $i\times Z : A\times Z \to X\times Z$ per ogni spazio $Z$.

4. Mostrare che le condizioni seguenti sono equivalenti:

i. $i : A \to X$ è una cofibrazione;
ii. l'inclusione \( P=(A\times I)\cup_{A} X \hookrightarrow X\times I\) ammette una retrazione $r : X\times I \to P$;
iii. $P$ è un retratto di deformazione forte di $X\times I$.

Per futura memoria, chiamiamo $(r_X,r_I) : X\times I\to X,I$ le componenti di questa retrazione. Si tratta di mappe continue il cui prodotto $r : X\times I\to P$ ristretto a $P$ ne sia l'identità, e tali per cui la composizione $ir$ sia omotopa all'identità di $X\times I$.

Una ulteriore caratterizzazione delle cofibrazioni è la seguente, dovuta a Strøm:

iv. $i : A \to X$ è una cofibrazione se e solo se esiste una funzione $\varphi : X \to I$ tale che $\varphi^{-1}(0)=A$, ed esiste un aperto $V$, $A \subseteq V \subseteq \varphi^{-1}[0,1[$ tale che $A\to U$ sia un retratto di deformazione forte.

(Sugg.: se $i$ è una cofibrazione, provare che
\(U = \{x\in X\mid r_X(x,1)\in A\}\) (nelle notazioni di sopra)
\(\varphi(x)=\sup_{s\in I}|s-r_I(x,s)|\)
soddisfano le condizioni della proposizione).
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1663 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Sulle cofibrazioni di spazi topologici

Messaggioda killing_buddha » 08/12/2017, 21:36

Ho visto che la sapete la topologia generale, no? Coraggio.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1664 di 5766
Iscritto il: 03/05/2008, 17:33

Messaggioda j18eos » 08/12/2017, 21:45

Dato che il problema m'interessa: cosa sono gli spazi debolmente di Hausdorff?
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 6066 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re:

Messaggioda killing_buddha » 08/12/2017, 22:09

j18eos ha scritto:Dato che il problema m'interessa: cosa sono gli spazi debolmente di Hausdorff?

Questa è la definizione, ma non è importante. E' una richiesta tecnica, rilevante solo per garantire che la categoria degli spazi è cartesiana chiusa. Anzi, ora che ci penso, questo mi ha dato un'idea per un topic. viewtopic.php?f=37&t=182511
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1665 di 5766
Iscritto il: 03/05/2008, 17:33

Messaggioda j18eos » 15/12/2017, 19:27

Ho trovato del tempo per cimentarmi col punto 1, ma ci dev'essere un errore nelle notazioni...
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 6075 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re: Sulle cofibrazioni di spazi topologici

Messaggioda killing_buddha » 15/12/2017, 21:43

Dimmi, dove?
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1724 di 5766
Iscritto il: 03/05/2008, 17:33

Messaggioda j18eos » 16/12/2017, 17:14

Da punto 1: chi sono \(\displaystyle f\) ed \(\displaystyle f^{\prime}\)? Devo costruirle?
Ipocrisìa e omofobìa,
fuori da casa mia!

Semplicemente Armando. ;)
Avatar utente
j18eos
Moderatore
Moderatore
 
Messaggio: 6076 di 13399
Iscritto il: 12/06/2010, 15:27
Località: Napoli, Trieste, ed ogni tanto a Roma ^_^

Re: Sulle cofibrazioni di spazi topologici

Messaggioda killing_buddha » 16/12/2017, 17:31

Viene detto, sono generiche funzioni continue $X\to Y$.
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1729 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Sulle cofibrazioni di spazi topologici

Messaggioda killing_buddha » 20/12/2017, 19:04

Le dimostriamo ste proprietà allora? :D
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 1750 di 5766
Iscritto il: 03/05/2008, 17:33

Re: Sulle cofibrazioni di spazi topologici

Messaggioda killing_buddha » 20/05/2018, 10:44

Sapete mostrare direttamente che l'inclusione di $S^n$ in $D^{n+1}$ è una cofibrazione? Generalizzate all'inclusione di $X$ nel suo cono $CX$ e all'inclusione di $X$ nella sua sospensione \(\Sigma X = \frac{X\times [0,1]}{(X\times\{0\})\sqcup(X\times\{1\})}\).
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 2449 di 5766
Iscritto il: 03/05/2008, 17:33

Prossimo

Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite