Successione di spazi non equivalenti, con omotopia controllata

Messaggioda fmnq » 19/01/2019, 08:20

Sia \(\{G_n\mid n\in\mathbb N_{\ge 1}\}\) un insieme di gruppi abeliani indicizzato dai numeri interi positivi.

Esiste una successione di spazi topologici \(\mathcal X = \{X_n\mid n \in\mathbb N_{\ge 1}\}\) tale che siano soddisfatte contemporaneamente queste due proprietà?

1. \(X_n \not\simeq X_m\) se $n\ne m$;
2. $pi_k(X_n) = G_k$ per ogni \(X_n\in \mathcal X\).
fmnq
Average Member
Average Member
 
Messaggio: 137 di 764
Iscritto il: 03/10/2017, 23:14

Messaggioda j18eos » 23/01/2019, 13:40

Vado a memoria: utilizzando i CW-complessi, puoi costruire uno spazio topologico \(\displaystyle X\), mediante la sua decomposizione in \(\displaystyle k\)-scheletri tale che \(\displaystyle\forall n\in\mathbb{N}_{\geq1},\,\pi_n(X)=G_n\) ove \(\displaystyle\{G_n\}\) è una qualsiasi successione di gruppi abeliani, eccezione per \(\displaystyle G_1\) che può essere non abeliano.

Per come poni tu la domanda, io opterei per porla su math.stackexchange; può essere che qualche specialista riesce a risponderti in merito.

P.S.: sono comunque curioso di sapere come va a finire questa "storiella".
Ipocrisìa e omofobìa,
fuori da casa mia!

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

Re:

Messaggioda fmnq » 23/01/2019, 20:22

j18eos ha scritto:Vado a memoria: utilizzando i CW-complessi, puoi costruire uno spazio topologico \(\displaystyle X\), mediante la sua decomposizione in \(\displaystyle k\)-scheletri tale che \(\displaystyle\forall n\in\mathbb{N}_{\geq1},\,\pi_n(X)=G_n\) ove \(\displaystyle\{G_n\}\) è una qualsiasi successione di gruppi abeliani, eccezione per \(\displaystyle G_1\) che può essere non abeliano.

Non capisco se è un tentativo di rispondere alla domanda. Comunque, \(X = \prod_{i\in \mathbb N}K(G_i,i)\) soddisfa questa proprietà.
Per come poni tu la domanda, io opterei per porla su math.stackexchange; può essere che qualche specialista riesce a risponderti in merito.
Ma no, è un lieve rimaneggiamento di un esercizio d'esame di un corso di topologia, non mi sembra il caso di metterlo su math.SE (tanto più che so come risolverlo, voglio vedere se c'è un modo che a me non è venuto in mente).
fmnq
Average Member
Average Member
 
Messaggio: 151 di 764
Iscritto il: 03/10/2017, 23:14

Messaggioda j18eos » 24/01/2019, 08:53

Non avevo capìto che fosse un esercizio proposto. ;)

...inoltre, io con la topologia algebrica non vado d'accordo. :-D :lol: :oops:
Ipocrisìa e omofobìa,
fuori da casa mia!

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

Re:

Messaggioda fmnq » 24/01/2019, 16:54

j18eos ha scritto:Non avevo capìto che fosse un esercizio proposto. ;)

...inoltre, io con la topologia algebrica non vado d'accordo. :-D :lol: :oops:

L'esercizio nella sua forma originaria è più semplice, inizia(te) da lì: esiste una successione di spazi $X_n$, a due a due non omeomorfi, e tali che $\pi_1(X_n) = G$ per un fissato $G$?
fmnq
Average Member
Average Member
 
Messaggio: 155 di 764
Iscritto il: 03/10/2017, 23:14

Re: Re:

Messaggioda fmnq » 29/01/2019, 19:17

fmnq ha scritto:
j18eos ha scritto:Vado a memoria: utilizzando i CW-complessi, puoi costruire uno spazio topologico \(\displaystyle X\), mediante la sua decomposizione in \(\displaystyle k\)-scheletri tale che \(\displaystyle\forall n\in\mathbb{N}_{\geq1},\,\pi_n(X)=G_n\) ove \(\displaystyle\{G_n\}\) è una qualsiasi successione di gruppi abeliani, eccezione per \(\displaystyle G_1\) che può essere non abeliano.

Non capisco se è un tentativo di rispondere alla domanda. Comunque, \(X = \prod_{i\in \mathbb N}K(G_i,i)\) soddisfa questa proprietà.
Per come poni tu la domanda, io opterei per porla su math.stackexchange; può essere che qualche specialista riesce a risponderti in merito.
Ma no, è un lieve rimaneggiamento di un esercizio d'esame di un corso di topologia, non mi sembra il caso di metterlo su math.SE (tanto più che so come risolverlo, voglio vedere se c'è un modo che a me non è venuto in mente).

Ancora niente?

Questo commento contiene la risposta.
fmnq
Average Member
Average Member
 
Messaggio: 174 di 764
Iscritto il: 03/10/2017, 23:14


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite

cron