politopi, aree, vettori

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
ma_go
Site Admin
Messaggi: 1906
Iscritto il: 01 gen 1970, 01:00

politopi, aree, vettori

Messaggio da ma_go »

credo che sia un risultato-folklore, ma secondo me è carino e vale la pena di giocarci un po'.

definizioni. un politopo in $\mathbb{R}^n$ è un'intersezione di iperspazi con parte interna non vuota. ad ogni faccia di codimensione 1 del politopo associamo un vettore-faccia $F\in \mathbb{R}^n$ che ha le seguenti proprietà:
* $F$ è ortogonale (rispetto alla metrica standard) alla faccia;
* $F$ punta fuori dal politopo (nel senso che per ogni $p$ nella faccia e per ogni $\varepsilon > 0$ si ha che $p+\varepsilon F$ non appartiene al politopo);
* $F$ ha lunghezza pari al volume $n-1$-dimensionale della faccia.

divertitevi a dimostrare questo allegro fatterello (e magari a trovare più dimostrazioni, che può essere istruttivo -- anche per me!).

teorema. siano $F_1,\dots,F_N$ i vettori-faccia di un politopo in $\mathbb{R}^n$. dimostrare che $$F_1+\dots+F_N = 0.$$
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: politopi, aree, vettori

Messaggio da <enigma> »

Interpretazione fisica del fatto intuitivamente "ovvio" per $n=3$: la risultante delle forze di pressione su un corpo in un fluido uniforme è nulla.
"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
julio14
Messaggi: 1208
Iscritto il: 11 dic 2006, 18:52
Località: Berlino

Re: politopi, aree, vettori

Messaggio da julio14 »

Scegliamo una direzione qualunque $v$, mostriamo che il vettore $F_1+\dots+F_N$ proiettato su $v$ è $0$. Consideriamo l'iperpiano $P$ ortogonale alla direzione scelta, il modulo di $F_i$ proiettato su $v$ è uguale all'area della proiezione dell'$i$-esima faccia su $P$. È però chiaro che la somma con segno delle proiezioni delle facce su $P$ è nulla, perché è uguale alla somma di due copie con segni opposti della proiezione del politopo su $P$.
Rispondi