L'acchiapparette

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
EvaristeG
Site Admin
Messaggi: 4896
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

L'acchiapparette

Messaggio da EvaristeG »

Dato un insieme convesso $ S $ del piano, un acchiapparette per $ S $ è un insieme $ D $ di curve (applicazioni differenziabili a tratti da [0,1] in $ \mathbb{R}^2 $) tale che se una retta interseca S, allora interseca anche D.
Dimostrare che la lunghezza totale di D è almeno metà del perimetro di S.
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: L'acchiapparette

Messaggio da <enigma> »

La formula di Crofton non orientata ci dice che
\[ \ell(D) =\frac 1 2 \iint n_D(\varphi,p) \text{d} \varphi \text{d} p\geq \frac 1 2 \iint \begin{cases} 1, n_{\partial S}(\varphi,p)>0 \\ 0,n_{\partial S}(\varphi,p)=0 \end{cases} \text{d} \varphi \text{d} p =\frac 1 2 \ell(\partial S)\]
(occorre un attimo di attenzione ai segni ma il risultato è proprio questo).
Le notazioni le spiega qualsiasi pagina sulla formula di Crofton ma le riassumo per completezza: $(\varphi,p)$ è la parametrizzazione delle rette non orientate con angolo e distanza dall'origine, $n_\gamma(\varphi,p)$ è il numero di intersezioni della retta $(\varphi,p)$ con $\gamma$.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: L'acchiapparette

Messaggio da <enigma> »

Visto che mi sono stati chiesti chiarimenti in privato su questo punto, preciso che nell'ultimo passaggio ho usato esplicitamente la convessità di $S$ nella forma "$n_{\partial S}(\varphi, p)=2$ o $0$ tranne che su un insieme di misura nulla" per ricondurre l'integrale a quello di $n_{\partial S}(\varphi, p)$ e riapplicare Crofton.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Rispondi