Utente:Lo Stronzo di mamma tua/Sandbox: differenze tra le versioni

Naviga nella cronologia in modo interattivo

Contenuto aggiunto Contenuto cancellato

In linea

Versione delle 00:15, 13 mar 2013

Definizione 1: Si definisce ingegnere in potenza, e si indica con $i_{p}$ , un essere umano dotato delle conoscenze matematiche di un cucchiaino da tè e che rispetti le seguenti condizioni:

$\exists x\in X=\forall x\in X$
Il grado di verità di una frase dipende da quanto materiale serve per costruire un esempio, che comunque si costruisce solo se può avere un utilizzo pratico.
Un'equazione di grado n ha un certo numero di soluzioni, tutte considerabili intere.

Si indica con $I_{c}$ l'insieme degli ingegneri in potenza di un centro abitato $c$ .

Definizione 2: Si definisce partizione non palese di un centro abitato $c$ , e si indica con $P_{np}$ , un qualsiasi insieme di persone la cui cardinalità non sia evidente al primo sguardo.

Lemma 1: $I_{c}\subseteq P_{np}$ se $P_{np}\neq \emptyset$

Dimostrazione: Sia per assurdo $i_{p}^{*}\in I_{p}\setminus P_{np}$ . Consideriamo ora l'insieme $I_{c}^{n}=\{i_{p}^{*},i_{1},i_{2},...,i_{n}\}\subseteq I_{c}$ , con $i_{j}\in I_{p},j=2,...,n.$ Se ora $I_{c}^{n}\subseteq P_{np}$ , allora $i_{p}^{*}\in P_{np}$ contro le ipotesi. Se $I_{c}^{n}\nsubseteq P_{np}$ , considero $I_{c}^{n+1}=\{i_{p}^{*},i_{1},...,1_{n},i_{n+1}\}$ . Se ora $I_{p}^{n+1}\subseteq P_{np}\implies i_{p}^{*}\in P_{np}$ , assurdo, altrimenti si considera $I_{c}^{n+2}=\{i_{p}^{*},i_{1},...,i_{n+1},i_{n+2}\}$ e si ragiona in modo analogo. CVD.

@@ Riga 1: / Riga 1: @@
+'''Definizione 1''': Si definisce ''ingegnere in potenza'', e si indica con <math>i_p</math>, un essere umano dotato delle conoscenze matematiche di un cucchiaino da tè e che rispetti le seguenti condizioni:
-A tutti è capitato di dover affrontare momenti difficili, in una relazione. Per quanto anche quelle più salde non possano essere esenti da difficoltà di varia natura, infatti, la relazione può però uscirne rinvigorita da una nuova consapevolezza. È vitale non farsi scoraggiare al punto di lasciare tutto senza aver prima cercato di capire cosa sia venuto meno. Una relazione allo sbando è come un fiore stremato dalla potatura: lasciate che le ferite si tramutino in punti di forza per un domani sul quale splenda più chiaro il sole della reciproca intesa. Certi che la vera maestra sia l'esperienza, perciò, scegliamo di rinunciare ad un insegnamento ex-cathedra, e presentiamo, per utile ammaestramento, una vicenda vera. Che la vita sia per noi maestra.
+*<math>\exists x \in X = \forall x \in X</math>
+*Il grado di [[verità]] di una frase dipende da quanto materiale serve per costruire un esempio, che comunque si costruisce solo se può avere un utilizzo pratico.
+*Un'equazione di grado n ha un certo numero di soluzioni, tutte considerabili intere.
+Si indica con <math>I_c</math> l'insieme degli ingegneri in potenza di un centro abitato <math>c</math>.
-== Storia di una relazione ==
-=== L'inizio ===
+'''Definizione 2''': Si definisce ''partizione non palese'' di un centro abitato <math>c</math>, e si indica con <math>P_{np}</math>,  un qualsiasi insieme di persone la cui [[cardinalità]] non sia evidente al primo sguardo.
-Sia dunque <math>x \sim x' \Leftrightarrow \nexists y \in X : y | (xx') \forall x,x' \in X</math>. <math>x</math> e <math>x'</math> vivevano felici e innamorati. Si erano conosciuti in <math>\mathbb{Z}_2</math> da piccoli, come per caso: "T'oh", disse ad un tratto <math>[0]</math> scorgendo <math>[1]</math>, "allora non sono sola in questo campo desolato!". Ebbero modo di frequentarsi. In breve, <math>[1]</math> scoprì la bellezza di annullarsi completamente nell'altro, cosa che, se l'altro è <math>[0]</math>, non risulta neppure troppo complessa. Una sera, mentre, sdraiati su un gruppo quoziente, guardavano la luna irradiare pace e armonia su tutti i domini euclidei, si baciarono. Nulla poteva turbarli, nessun pericolo. "Tanto", pensavano, "in <math>\mathbb{Z}_2</math> non ci sono mica zero divisori!". La prima volta che fecero l'amore, si sentirono come solo una funzione suriettiva più far sentire:
-<math>f: \mathbb{Z}_2 \rightarrow \mathbb{Z}_2</math>, dove <math>f([0])=[1],f([1])=[0]</math>.
+'''Lemma 1''': <math>I_c \subseteq P_{np}</math> se <math>P_{np} \ne \emptyset</math>
+'''Dimostrazione''': Sia per assurdo <math>i_p^* \in I_p \setminus P_{np}</math>. Consideriamo ora l'insieme <math>I_c^{n} = \{i_p^*,i_1,i_2,...,i_n\} \subseteq I_c </math>, con <math>i_j \in I_p, j=2,...,n.</math> Se ora <math>I_c^n \subseteq P_{np}</math>, allora <math>i_p^* \in P_{np}</math> contro le ipotesi. Se <math>I_c^n \nsubseteq P_{np}</math>, considero <math>I_c^{n+1}=\{i_p^*,i_1,...,1_n,i_{n+1}\}</math>. Se ora <math>I_p^{n+1} \subseteq P_{np} \implies i_p^* \in P_{np}</math>, assurdo, altrimenti si considera <math>I_c^{n+2}=\{i_p^*,i_1,...,i_{n+1},i_{n+2}\}</math> e si ragiona in modo analogo. CVD.
-"Oh, tesoro", disse <math>[0]</math>, "sarò sempre e solo tua". "Lo so, mia adorata", rispose [1] abbracciandola teneramente, "del resto, una funzione suriettiva da un insieme finito in se stesso è anche iniettiva".
-L'idillio era completo: ogni successione di [[Cauchy]] convergeva. [1] si sentiva proprio [[Numero felice|felice]].
-===L'abbandono===
-Con il tempo, però, [1] sentì svanire l'effetto inebriante della passione amorosa. Arrivò addirittura a capire che la loro relazione non aveva il minimo senso: a differenza di quanto avevano pensato, qualsiasi cosa poteva dividerli! Fu così che [1] parlò a [0], e le disse:
-{{dialogo|[1]|Non ce la faccio più a continuare così, l'unico prodotto al quale conduce la nostra relazione è che io perda la mia identità!|[0]|Ma no, caro, ricordi? L'esistenza dell'identità ce la garantisce l'assioma della scelta, data f da X in Y suriettiva!}}
-Ma [1] odiava l'[[assioma della scelta]]. Fu troppo per la loro relazione, che ormai colava a picco. [1] se ne andò da <math>\mathbb{Z}_2</math>.
-E viaggiò. Viaggiò per campi sterminati, rimase inorridito dall'assoluta mancanza d'ordine di <math>\mathbb{C}</math>. Il fantasma di [0], però, lo ossessionava. Non riusciva a trovare uno <math>\mathbb{Z}_n</math> dove la sua ombra non lo seguisse, dove non lo maledicesse per aver abbandonato <math>\mathbb{Z}_2</math>. Furono giorni di panico, in effetti, perché durante la sua assenza tutti i numeri divennero divisibili per due, mandando tutto a puttane.
-===Ristabilire la relazione===
-Ovunque andasse, [1] si sentiva soffocatp. La separazione che lui stesso aveva voluto lo stava facendo soffrire come non mai, e nelle lunghe notti buie dei domini a ideali principali, quando tutti quei fanatici generati da un solo elemento lo asfissiavano vedendo in lui una specie di nuovo Messia con il potere di generare lo spazio intero, cominciò a mordergli la sua coscienza unitaria il desiderio di tornare in <math>\mathbb{Z}_2</math>. In breve, il desiderio fu un bisogno.
-Quando [1] varcò la parentesi graffa, rimettendo piede in <math>\mathbb{Z}_2</math> dopo lunghi mesi di agonia, trovò [0] in un angolo ad annullarsi tristemente. Le corse incontro, capendo in un lampo d'ispirazione improvvisa che aveva abbandonato la sola cosa che valesse la pena di avere: una compagna con cui dividere la classe di resto.
-Non tutto, però, poteva tornare come prima. La relazione che avevano prima della tragedia non poteva rimanere la stessa. "Ascoltami bene, cara, qui dobbiamo seguire delle regole ben precise", disse [1].
-"Viaggiando per il mondo", continuò, "ho imparato che se non vogliamo finire come prima occorre dare un ordine alla nostra vita. Per questo sia:
-*<math>x \leq x </math>
-*<math>x \leq y \and y \leq x \implies x = y</math>
-*<math>x \leq y \and y \leq z \implies x \leq z</math>
-così, e solo così avremo dell'ordine nella nostra relazione".
-[0], tra la gioia e la sorpresa, era in lacrime. Ma a renderla la classe più felice di tutti gli insiemi quozienti fu il gesto che [1], inginocchiatosi, le fece. Disse:
-{{quote|[0], sono stato uno stupido. Perdonami, perdona questa povera unità che non ti aveva compreso. Io e te, insieme, siamo così grandi da poter creare un intero sistema numerico!|}}
-Così dicendo, tirò fuori dalla tasca un bellissimo anello di diamanti. Che per fortuna era commutativo con unità.

Utente:Lo Stronzo di mamma tua/Sandbox: differenze tra le versioni

Versione delle 00:15, 13 mar 2013

Menu di navigazione

Ricerca