Pagina 2 di 2

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 11/03/2018, 08:18
da .Ruben.
anto_zoolander ha scritto:@ruben non vale :lol:

Che hanno di male i complessi?
Hahahahahah

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 11/03/2018, 11:16
da Silent
Sto cominciando a leggere questa qui:

dissonance ha scritto:@Ianero: ... Una risorsa più leggibile è questo bellissimo post di Martino:

viewtopic.php?p=256504#p256504


Innanzitutto chiedo conferma su alcune definizioni e notazioni.
Dire che il mio insieme $\mathcal{A} \subset [- \pi R, \pi R)$ è denso in $[-\pi R, \pi R)$, vuol dire che ogni punto di $[-\pi R, \pi R)$ o appartiene ad $\mathcal{A}$ o è un punto di accumulazione di $\mathcal{A}$. Corretto?
In tal caso io prima stavo cercando proprio di dimostrare che $\mathcal{A}$ è denso in $[-\pi R, \pi R)$.

Poi, per comodità riporto qui la dimostrazione di Martino:

Martino ha scritto:Lemma 1: un sottogruppo additivo $G$ di $RR$ che ammette un punto di accumulazione in $RR-G$ è denso in $RR$.
Dim: se $x in RR-G$ è di accumulazione per $G$ allora esiste una successione $(x_n)_n$ in $G$ che converge a $x$, e in particolare non è definitivamente costante essendo $x notin G$. Ne segue che la successione non definitivamente costante $(x_n-x_{n-1})_n$ di $G$ converge a $0$, quindi esistono in $G$ elementi $g$ arbitrariamente vicini a zero. Ne segue che i sottogruppi $gZZ$ di $G$ sono arbitrariamente fitti in $RR$. Da cui la densità di $G$.

Lemma 2: un sottogruppo additivo $G$ di $RR$ che contiene tutti i suoi punti di accumulazione è del tipo $xZZ$ per qualche $x$.
Dim: l'insieme ${g in G\ |\ g>0}$ ammette minimo perché il suo inf è un punto di accumulazione per $G$ e quindi appartiene a $G$. Sia $x$ tale minimo. Allora $xZZ subseteq G$ perché $G$ è un sottogruppo; viceversa se esiste $g notin xZZ$ in $G$ allora detto $xz$ l'elemento di $xZZ$ più vicino a $g$ si ha $xz-g,g-xz in G$ e $0<|xz-g|<x$, assurdo per minimalità di $x$. Quindi $G=xZZ$.

Lemma 3: se $alpha/(beta)$ è irrazionale, $<alpha,beta> = {alpha m+beta n\ |\ m, n\in ZZ}$ è un sottogruppo additivo di $RR$ non del tipo $xZZ$.
Dim: che quello scritto sia un sottogruppo additivo di $RR$ è evidente. Supponiamo che sia del tipo $x ZZ$ con $x in RR$. Allora detto $gamma = alpha/(beta)$, anche $<gamma,1> = {gamma m + n\ |\ m,n in ZZ}$ è del tipo $x ZZ$ (scambiando $x$ con $x/(beta)$). Quindi esistono interi $u,v$ tali che $gamma = x u$ e $1 = x v$, il che contraddice l'irrazionalità di $gamma$.

Quindi: $<alpha,beta>$ è un sottogruppo additivo di $RR$ non del tipo $xZZ$ per il lemma 3, ne segue che non contiene tutti i suoi punti di accumulazione per il lemma 2, e quindi è denso per il lemma 1.


Non ho capito cosa significano le scritture ... non del tipo $xZZ$, oppure i sottogruppi $gZZ$ di $G$.
Vorrei prima chiarirmi questo e poi procedere con la lettura.

Grazie.

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 11/03/2018, 15:05
da dissonance
La scrittura \(x\mathbb Z\) significa \(\{xn\ :\ n\in\mathbb Z\}\), è un sottoinsieme di \(\mathbb R\) che è anche un sottogruppo additivo.

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 11/03/2018, 16:07
da anto_zoolander
.Ruben. ha scritto:
anto_zoolander ha scritto:@ruben non vale :lol:

Che hanno di male i complessi?
Hahahahahah


Testo nascosto, fai click qui per vederlo
stai copincollando questa dimostrazione ovunque :-D
Ovviamente scherzo eh! È molto bella come dimostrazione. Quanto ci hai messo?

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 11/03/2018, 17:29
da .Ruben.
anto_zoolander ha scritto:
.Ruben. ha scritto:
anto_zoolander ha scritto:@ruben non vale :lol:

Che hanno di male i complessi?
Hahahahahah


Testo nascosto, fai click qui per vederlo
stai copincollando questa dimostrazione ovunque :-D
Ovviamente scherzo eh! È molto bella come dimostrazione. Quanto ci hai messo?

Testo nascosto, fai click qui per vederlo
É che moltissimi utenti recentemente hanno posto questa questione :-)
Ci ho messo un sacco; in realtà è dal test della normale ad agosto che penso a come dimostrare per bene quella proposizione, ma mi ci sono messo sul serio per 2-3 giorni dopo gli esami del primo semestre.

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 12/03/2018, 22:07
da Silent
Ho letto con calma la dimostrazione e l'ho capita, applicarla al mio caso diventa più che banale ora.
Questa dimostrazione di Martino è a dir poco magnifica, complimenti, se ci leggerà.

Grazie a voi tutti e grazie in particolare a @dissonance per averla riportata alla luce.

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 13/03/2018, 00:17
da dissonance
Ianero ha scritto:Ho letto con calma la dimostrazione e l'ho capita, applicarla al mio caso diventa più che banale ora.
Questa dimostrazione di Martino è a dir poco magnifica, complimenti, se ci leggerà.

Mandagli un messaggio privato, lo fai contento.

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 13/03/2018, 08:48
da Silent
Giusto :smt023

Re: Punti di accumulazione su circonferenza

MessaggioInviato: 13/03/2018, 17:22
da Martino
Ahaha grazie :) anch'io me la ricordo quella dimostrazione, mi pare che avevo raccolto delle informazioni già esistenti sui sottogruppi densi di $RR$. Grazie anche per aver riportato il mio interesse alla sezione di analisi, le darò un'occhiata di tanto in tanto :)