Un pò di Algebra 1: I gruppi

Messaggioda dan95 » 24/09/2015, 11:43

Sia $N={0,1,2,...,N-1}$ e $f: N \rightarrow N$ biiettiva, si può dimostrare che l'insieme delle funzioni biiettive $F={f| f:N \rightarrow N}$ rispetto all'operazione di composizione forma un gruppo...cos'è un gruppo?
Un gruppo è un insieme (in questo caso $F$ su cui è definita un operazione binaria, nel nostro caso $• : F×F \rightarrow F$, cioè ad ogni coppia $(f,g) \in F×F$ un unico elemento $h \in F$. L'insieme in questione dovrà soddisfare certi assiomi rispetto all'operazione per definirsi un gruppo, questi sono:
1) L'associatività ($f•(g•h)=(f•g)•h$)
2) Esistenza elemento neutro ($EE Id|f•Id=f \forall f\in F$)
3) Esistenza dell'inverso ($\forall f \in F, EE f^{-1} |f•f^{-1}=Id$)
Inoltre diremo che un elemento ha ordine $n$ se $n$ è il più piccolo naturale tale che $f^n=Id$.
Detto questo si dimostri che $(F,•)$ è un gruppo, e si trovino tutte le funzioni $f^2=Id$.
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 870 di 5287
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Un pò di Algebra 1: I gruppi

Messaggioda kobeilprofeta » 24/09/2015, 17:29

credo che f bigettiva sia una permutazione.
esiste l'identità (banale)
l'inversa è ancora banale, basta bandare $f(n)$ in $n$ per ogni n
rimane l'associatività.

Cerco le f tc $f^2=Id$
Mi serve che $f(f(n))=n$; quindi le f sono quelle che scambiano a due a due gli elementi che non vanno in sè stessi.
kobeilprofeta
Cannot live without
Cannot live without
 
Messaggio: 1478 di 5262
Iscritto il: 24/09/2012, 18:25

Re: Un pò di Algebra 1: I gruppi

Messaggioda Pachisi » 24/09/2015, 19:26

Provo:
Testo nascosto, fai click qui per vederlo
Siano $ f: N \rightarrow N $, $ g: N \rightarrow N $ e $ h: N \rightarrow N $ tre funzioni. Dobbiamo dimostrare che $(f \circ g) \circ h=f \circ (g \circ h)$. Ora, consideriamo un $n \in N$. Allora, $((f \circ g) \circ h)(n)=(f \circ g)(h(n))=f(g(h(n)))$. In modo simile, $(f \circ (g \circ h))(n)=f((g \circ h)(n))=f(g(h(n)))$. Dunque, $((f \circ g) \circ h)(n)=(f \circ (g \circ h))(n)$, per ogni $n \in N$. Segue che la composizione di funzione è associativa.

Per l'elemento neutro dobbiamo mostrare che esiste una funzione $r: N \rightarrow N$ tale che $ r \circ f = f$ e $f \circ r = f$. Sia $r(n)=n$. Allora, $r \circ f = (r \circ f)(n)=r(f(n))=f(n)$. In modo simile dimostriamo che $f \ circ r=f$. Allora, l'elemento neutro è la funzione $r(n)=n$.

Per l'inverso dobbiamo mostrare che esiste una funzione $s:N \rightarrow N$ tale che $s \circ f= r$ e $f \circ s=r$, dove $r$ è la funzione di prima. Ossia, $s(f(n))=r(n)=n$ e $f(s(n))=r(n)=n$. Essendo $f$ biiettiva esiste solo un $n \in N$ tale che $f(n)=x$ per ogni $x \in N$. Definiamo la funzione $s= {(x,n):(n,x) \in f}$, allora $s(x)=n$, ma $x=f(n)$, dunque $s(f(n))=n$. In modo simile si dimostra che $f(s(n))=n$. Allora $s$ è la funzione inversa di $f$.

Quindi, la composizione di funzioni biiettive rispetto alla composizione è un gruppo.
Pachisi
Average Member
Average Member
 
Messaggio: 244 di 822
Iscritto il: 29/06/2014, 15:45

Re: Un pò di Algebra 1: I gruppi

Messaggioda dan95 » 24/09/2015, 21:31

@kobe
L'ultima parte si, per la prima vedasi pachisi...

Testo nascosto, fai click qui per vederlo
Pachisi ha scritto:In modo simile si dimostra che f(s(n))=n.

$f(s(x))=x$


Avete dimostrato che la composizione di due funzioni biiettive è biiettiva ovvero che $F$ è chiuso rispetto a questa operazione?
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 874 di 5287
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Un pò di Algebra 1: I gruppi

Messaggioda Pachisi » 24/09/2015, 22:40

Per dimostrare che $F$ è chiuso sotto la composizione bisogna dimostrare (credo) che, prese due funzioni $f$ e $g$ in $F$, si ha $f \circ g$ e $g \circ f$ $\in F$.
Pachisi
Average Member
Average Member
 
Messaggio: 245 di 822
Iscritto il: 29/06/2014, 15:45

Re: Un pò di Algebra 1: I gruppi

Messaggioda dan95 » 25/09/2015, 15:42

Si esatto
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 876 di 5287
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Un pò di Algebra 1: I gruppi

Messaggioda coleridge » 26/09/2015, 06:58

dan95 ha scritto:2) Esistenza elemento neutro ($EE Id|f•Id=f \forall f\in F$)

Se non erro deve valere anche $Id•f=f$.
coleridge
New Member
New Member
 
Messaggio: 31 di 64
Iscritto il: 29/08/2015, 13:08

Re: Un pò di Algebra 1: I gruppi

Messaggioda dan95 » 26/09/2015, 08:11

Si l'elemento neutro commuta con ogni elemento dell'insieme, mi sono scordato di specificarlo
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 879 di 5287
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi


Torna a Scervelliamoci un po'

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite