Gruppi e chiarezza
Ah.. credevo che stessimo parlando di gruppi in generale.lukra ha scritto:E ascolta, stiamo parlando di Campi che generano Gruppi mi pare.
E non di gruppi in Generale
Il problema a questo punto credo sia che se "gruppo" significa cose diverse per persone diverse, si finisce per non capirsi più. è per questo che si può finire per innervosirsi. Non credo che avere una sola definizione di gruppo sia sintomo di una qualche "chiusura mentale", ma solo di bisogno di chiarezza e di uniformità di definizioni. Se per voi è più comodo pensare che quando si parla di inversi moltiplicativi in un campo si esclude lo zero a priori, ben venga, se questo vi aiuta a pensare meglio questi concetti (infatti credo che il "sapere" una cosa sia spesso meno importante del "come pensare" la cosa stessa).
Vi prego (qui mi rivolgo a tutti) di cercare di discutere con serenità... ognuno ha la sua personale idea, cerchiamo di essere costruttivi.
Ciao.
"Possono essere anche patate, basta che ci sia l'azione!"
E si ma intanto il ragazzo mi pare sia stato,Non c'è peggior idiota di chi non vuol capire.
Bannato.
deriso, bacchettato, Bannato, e senza un motivo evidente
Questo mi ha dato un certo fastidio, devo ammetterlo,
ed era appunto quello che non capivo.
No, certo non parlo di chiusura mentale.E guarda la matematica è piena di definizioni alternative di cose identiche,
quindi non mi scandalizzarei molto, sopratutto quando sono corrette
e tuttosommato comode.
Ciao
Sì, il problema è soprattutto quello. Ma se vogliamo essere un po' più sottili, non è l'unico, direi.Martino ha scritto:Il problema a questo punto credo sia che se "gruppo" significa cose diverse per persone diverse, si finisce per non capirsi più.
Caro phun/lukra (cari?), il primo difetto delle tue definizioni è questo: tu hai due oggetti. Due oggetti diversi. E li chiami gruppo. No, la cosa non mi scandalizza, ok, ma non sei d'accordo che andrebbe evitata? Come si fa a sapere se parli di un tipo di gruppo o dell'altro? Chiamerò i due oggetti "Gruppo in Generale" e "Gruppo di Phun". Ma questo non risolve ancora tutti i problemi.
Se dico
Un Gruppo in Generale è
una coppia (A,*) dove A è un insieme, * un'operazione binaria interna all'insieme e associativa;
inoltre esiste in A un elemento neutro per *, e ogni elemento di A ha inverso in A rispetto a *.
Se * è commutativa parliamo di Gruppo in Generale Abeliano.
Un Gruppo di Phun è
(A,*) dove A è un insieme, * un'operazione binaria interna all'insieme e associativa;
inoltre esiste in A un elemento neutro per *, e ogni elemento di A tranne lo 0 additivo ha inverso in A rispetto a *.
Se * è commutativa parliamo di Gruppo di Phun Abeliano.
Un Campo è (A,*,+), Gruppo di Phun Abeliano rispetto a * e Gruppo in Generale Abeliano rispetto a +, con anche la proprietà distributiva della moltiplicazione.
Ora, secondo te quello che ho scritto ha senso?
Purtroppo no. Volevo usare la nozione di Gruppo di Phun per semplificarmi il modo in cui definisco i Campi, ma ho usato implicitamente l'idea che un gruppo di Phun sia in realtà "un campo di cui trascuro +" nel definirlo (per parlare di 0 additivo devo pur avere un'operazione +!).
Insomma, ho definito GdP come un Campo visto solo rispetto a *, e un Campo come un GdP rispetto a * e un GiG rispetto a +... siamo d'accordo che qualcosa non va? In Matematica questo non lo posso fare.
La cosa si risolve, ok, ma ne saltano necessariamente fuori due definizioni identiche a quelle standard, più una superflua. Se poi vogliamo definire Gruppi in Generale e Campi nel modo standard e Gruppi di Phun come Campi trascurando +, ok, abbiamo un nuovo nome in Matematica!
Scusate per l'intervento.
Comunque lukra, il fondamentale problema di "Phun" è stata una certa mancanza di umiltà nel discutere le sue definizioni. Non è un atteggiamento proficuo chiedere spiegazioni con la convinzione assoluta di aver ragione, e men che meno lo è insultare/provocare/rispondere alle provocazioni di un site admin appena arrivati in un forum.
No non hai capito
Il Gruppo di Phun Generale non esiste.
Esiste solo il Gruppo Di Phun nel caso di un Campo, come ha detto è affermato + e + volte,
che è compatibile con la definizione di Gruppo Generale per un campo..
Nel caso dei Campi il Gruppo in Generale è il Gruppo di Phun
l'elemento neutro additivo
due definizioni di Gruppo Generale quando si tratta di Campi.
Entrambe validissime, a meno di smentite più serie di quelle viste fino ora.
Il Gruppo di Phun Generale non esiste.
Esiste solo il Gruppo Di Phun nel caso di un Campo, come ha detto è affermato + e + volte,
che è compatibile con la definizione di Gruppo Generale per un campo..
Nel caso dei Campi il Gruppo in Generale è il Gruppo di Phun
Infatti tutti gli elementi del suo gruppo ammettono inverso, perchè escludeuna coppia (A,*) dove A è un insieme, * un'operazione binaria interna all'insieme e associativa;
inoltre esiste in A un elemento neutro per *, e ogni elemento di A ha inverso in A rispetto a *.
Se * è commutativa parliamo di Gruppo in Generale Abeliano.
l'elemento neutro additivo
Quindi in realtà non esiste nessun Gruppo di Phun, ma bensìInsomma, ho definito GdP come un Campo visto solo rispetto a *, e un Campo come un GdP rispetto a * e un GiG rispetto a +... siamo d'accordo che qualcosa non va? In Matematica questo non lo posso fare.
due definizioni di Gruppo Generale quando si tratta di Campi.
Entrambe validissime, a meno di smentite più serie di quelle viste fino ora.
Ultima modifica di lukra il 26 mag 2007, 13:16, modificato 2 volte in totale.
Ciao lukra.
Il fatto che hai scritto "addittivo" invece che "additivo", come Phun, e il fatto che scrivi alcune frasi in grassetto, tutto ciò mi porta a pensare che tu e Phun siate la stessa persona. Il che non mi dispiace in quanto sono convinto che si possa giungere ad una soluzione comune.
Però capisci che quando esordisci con:
Insomma, tra "non capire" e "pensarla diversamente" c'è una bella differenza.
Il punto su cui non concordiamo è il seguente: vorremmo una sola definizione di gruppo, e invece tu ce ne proponi due, "entrambe validissime". Io non mi permetto di dire che avere due definizioni di una stessa cosa è sbagliato, magari per te è giusto, ma cerca di rispettare i nostri ragionamenti.
Ciao
Il fatto che hai scritto "addittivo" invece che "additivo", come Phun, e il fatto che scrivi alcune frasi in grassetto, tutto ciò mi porta a pensare che tu e Phun siate la stessa persona. Il che non mi dispiace in quanto sono convinto che si possa giungere ad una soluzione comune.
Però capisci che quando esordisci con:
non risulti molto simpatico e la gente ha voglia di risponderti per le rime o addirittura peggio, e se ne ha il potere mandarti addirittura via con la forza.No non hai capito
Insomma, tra "non capire" e "pensarla diversamente" c'è una bella differenza.
Il punto su cui non concordiamo è il seguente: vorremmo una sola definizione di gruppo, e invece tu ce ne proponi due, "entrambe validissime". Io non mi permetto di dire che avere due definizioni di una stessa cosa è sbagliato, magari per te è giusto, ma cerca di rispettare i nostri ragionamenti.
Ciao
"Possono essere anche patate, basta che ci sia l'azione!"
Va bene, chiedo venia per aver alimentato con ben due post un thread fondamentalmente di spam.
Mi piacerebbe risponderti discutendo ancora della questione, ma cerco di evitare perché sarebbe probabilmente uno sterile e inutile esercizio di dialettica che posso fare benissimo da qualche altra parte, per esempio discutendo dei massimi sistemi con la serranda di camera mia, anziché riempiendo di post inutili questo forum.
Scusami per non averti capito. Il fatto è che io mi sono sforzata di farmi capire, ma con il tuo ultimo post non hai assolutamente chiarito cosa non andasse nella mia interpretazione, e come scriveresti esattamente quelle definizioni.
Non importa, prometto che farò del mio meglio per non intervenire di nuovo, nonostante la tentazione.
Ciao.
Perché, io ho affermato che esistesse, scusa?lukra ha scritto:Il Gruppo di Phun Generale non esiste.
Mi piacerebbe risponderti discutendo ancora della questione, ma cerco di evitare perché sarebbe probabilmente uno sterile e inutile esercizio di dialettica che posso fare benissimo da qualche altra parte, per esempio discutendo dei massimi sistemi con la serranda di camera mia, anziché riempiendo di post inutili questo forum.
Scusami per non averti capito. Il fatto è che io mi sono sforzata di farmi capire, ma con il tuo ultimo post non hai assolutamente chiarito cosa non andasse nella mia interpretazione, e come scriveresti esattamente quelle definizioni.
Non importa, prometto che farò del mio meglio per non intervenire di nuovo, nonostante la tentazione.
Ciao.
Si scusa,
additivo, era un copia e incolla di roba di phun.
Il grassetto come vedi, mi era venuto di metterlo per imitazione, ma poi l'ho tolto
Certamente lo conosco, ma non sono io.
Non hai capito è una constatazione,
per nulla offensiva.
Se dal Gruppo Generale Discendono due definizioni entrambe valide.
Allora, o esiste una convenzione, ma non l'ho trovata in giro.
Oppure si possono usare entrambe, basta rendere esplicita la definizione
quando si parla di Campo.
Come in effetti si fa
arrivano in modo scorretto a non dimostrare nulla.
Quelli che provocano dando dell' Idiota
Quelli moderati e intelligenti tuoi
O anche quelli di phun o i miei?
additivo, era un copia e incolla di roba di phun.
Il grassetto come vedi, mi era venuto di metterlo per imitazione, ma poi l'ho tolto
Certamente lo conosco, ma non sono io.
Non hai capito è una constatazione,
per nulla offensiva.
Si, quando parli di Gruppo di Phun riferito a un insieme generico APerché, io ho affermato che esistesse, scusa?
Se dal Gruppo Generale Discendono due definizioni entrambe valide.
Allora, o esiste una convenzione, ma non l'ho trovata in giro.
Oppure si possono usare entrambe, basta rendere esplicita la definizione
quando si parla di Campo.
Come in effetti si fa
Quali ragionamenti scusa, quelli fallaci che partendo dalla definizione di PhunIl punto su cui non concordiamo è il seguente: vorremmo una sola definizione di gruppo, e invece tu ce ne proponi due, "entrambe validissime". Io non mi permetto di dire che avere due definizioni di una stessa cosa è sbagliato, magari per te è giusto, ma cerca di rispettare i nostri ragionamenti.
arrivano in modo scorretto a non dimostrare nulla.
Quelli che provocano dando dell' Idiota
Quelli moderati e intelligenti tuoi
O anche quelli di phun o i miei?
E guarda la matematica è piena di definizioni alternative di cose identiche,
quindi non mi scandalizzarei molto, sopratutto quando sono corrette
e tuttosommato comode.
Allora lukra, ultimo tentativo:
per favore, scrivi in modo completo, esauriente e senza ulteriori fronzoli le definizioni di gruppo e di campo che proponi. Queste saranno le definizioni a cui faremo riferimento, e nessuno potrà più cambiare le carte in tavola. E' solo per capirci. Dopodiché continueremo a discutere a partire da quelle, e non da decine di post parzialmente contradditori. Grazie.
per favore, scrivi in modo completo, esauriente e senza ulteriori fronzoli le definizioni di gruppo e di campo che proponi. Queste saranno le definizioni a cui faremo riferimento, e nessuno potrà più cambiare le carte in tavola. E' solo per capirci. Dopodiché continueremo a discutere a partire da quelle, e non da decine di post parzialmente contradditori. Grazie.
Grazie
In un campo essendoci il problema dell' elemento neutro additivo
non invertibile, si è di fronte a due scelte che entrambe verificano quanto richiesto dalla definizione di gruppo data in generale e che riporto
Due
1)Utilizzare l'insieme (Q/ {0},*) con le normali proprietà dei Gruppi
2)Utilizzare l'insieme (Q,*) richiedendo che ogni elemento invertibile sia diverso dall'elemento neutro additivo
∀a≠0 ∃!(a^-1) tale che a·a^-1 = a^-1·a = 1
Entrambi i modi garantiscono tutte le proprietà
dei gruppi in generale
In un campo essendoci il problema dell' elemento neutro additivo
non invertibile, si è di fronte a due scelte che entrambe verificano quanto richiesto dalla definizione di gruppo data in generale e che riporto
Ora, quali sono i modi per assicurare che tutti gli elementi siano invertibili?G1)L'operazione * è binaria e interna in G
G2)∃! 1 appartenente a G, detto elemento neutro tale che a *1=1 *a
G3)L' operazione * è associativa
G4) ∀a appartenete a G ∃!(a^-1) tale che a·a^-1 = a^-1·a = 1
Due
1)Utilizzare l'insieme (Q/ {0},*) con le normali proprietà dei Gruppi
2)Utilizzare l'insieme (Q,*) richiedendo che ogni elemento invertibile sia diverso dall'elemento neutro additivo
∀a≠0 ∃!(a^-1) tale che a·a^-1 = a^-1·a = 1
Entrambi i modi garantiscono tutte le proprietà
dei gruppi in generale
Un insieme G è detto Campo se è dotato di
due operazioni binarie interne. -, *, tali che
1) ∀a b c appartenenti a G, (a +b)+c=a+(b+c)
2) a + b = b + a ∀a,b appartenenti a G
3) ∃! 0 appartenente a G, detto elemento neutro, tale che
∀a appartenente a G a - 0 =0 - a
4) ∀a appartenete a G ∃! -a appartenente a G tale che a-a = 0
5) ∀a b c appartenenti a G, (a·b)·c = a·(b·c)
6)∀a b appartenenti a G, a·b = b·a
7)∃! 1 appartenente a G, detto elemento neutro tale che
∀a appartenente a G a *1 =1 *a
8 ∀a≠0 ∃!(a^-1) appartenete a G, tale che a* a^-1 = a^-1*a = 1
9)∀a b c appartenenti a G a * (b+c)=ab+bc e (a+b)*c=ac+bc
Sia G un Campo
Chiamo Gruppo adiditivo
Un insieme G munito di un operazione binaria interna
tale che
G1)∃! 0 appartenente a G, detto elemento neutro, tale che
∀a appartenente a G a - 0 =0 - a
G2) ∀a b c appartenenti a G, (a +b)+c=a+(b+c)
G3)∀a appartenete a G ∃! -a appartenente a G tale che a-a = 0
Chiamo Gruppo moltiplicativo
Un insieme G munito di un operazione binaria interna
tale che
G'1)∃! 1 appartenente a G, detto elemento neutro tale che
∀a appartenente a G a *1 =1 *a
G'2) ∀a b c appartenenti a G, (a*b)*c=a*(b*c)
G'3)∀a≠0 ∃!(a^-1) appartenete a G, tale che a* a^-1 = a^-1*a = 1
Dove con 0 si intende l'elemento definito dalla G3
Si nota inoltre che un Campo ha la struttura di gruppo adiditivo, gruppo moltiplicativo,
e inoltre l'operazione * che verifica
∀a b c appartenenti a G a * (b+c)=ab+bc e (a+b)*c=ac+bc
due operazioni binarie interne. -, *, tali che
1) ∀a b c appartenenti a G, (a +b)+c=a+(b+c)
2) a + b = b + a ∀a,b appartenenti a G
3) ∃! 0 appartenente a G, detto elemento neutro, tale che
∀a appartenente a G a - 0 =0 - a
4) ∀a appartenete a G ∃! -a appartenente a G tale che a-a = 0
5) ∀a b c appartenenti a G, (a·b)·c = a·(b·c)
6)∀a b appartenenti a G, a·b = b·a
7)∃! 1 appartenente a G, detto elemento neutro tale che
∀a appartenente a G a *1 =1 *a
8 ∀a≠0 ∃!(a^-1) appartenete a G, tale che a* a^-1 = a^-1*a = 1
9)∀a b c appartenenti a G a * (b+c)=ab+bc e (a+b)*c=ac+bc
Sia G un Campo
Chiamo Gruppo adiditivo
Un insieme G munito di un operazione binaria interna
tale che
G1)∃! 0 appartenente a G, detto elemento neutro, tale che
∀a appartenente a G a - 0 =0 - a
G2) ∀a b c appartenenti a G, (a +b)+c=a+(b+c)
G3)∀a appartenete a G ∃! -a appartenente a G tale che a-a = 0
Chiamo Gruppo moltiplicativo
Un insieme G munito di un operazione binaria interna
tale che
G'1)∃! 1 appartenente a G, detto elemento neutro tale che
∀a appartenente a G a *1 =1 *a
G'2) ∀a b c appartenenti a G, (a*b)*c=a*(b*c)
G'3)∀a≠0 ∃!(a^-1) appartenete a G, tale che a* a^-1 = a^-1*a = 1
Dove con 0 si intende l'elemento definito dalla G3
Si nota inoltre che un Campo ha la struttura di gruppo adiditivo, gruppo moltiplicativo,
e inoltre l'operazione * che verifica
∀a b c appartenenti a G a * (b+c)=ab+bc e (a+b)*c=ac+bc
Ultima modifica di lukra il 26 mag 2007, 22:22, modificato 7 volte in totale.