Insiemi chiusi rispetto ad una legge di composizione

vecio88
Salvelox a tutti :)

Ho un problemino :) Negli esercizi sulle strutture algebriche ci sono dei punti in cui dice

e) Stabilire se $NN$ è chiuso rispetto a $*$ (credo che la prof l'ha chiamato pallino :) )

Il problema è che non so come si fa a vedere se l'insieme è chiuso o meno. Sugli appunti non ho nulla o almeno credo...

La struttura algebrica è x $*$ y = xy + x

Risposte
Seneca1
"vecio88":
Salvelox a tutti :)

Ho un problemino :) Negli esercizi sulle strutture algebriche ci sono dei punti in cui dice

e) Stabilire se $NN$ è chiuso rispetto a $*$ (credo che la prof l'ha chiamato pallino :) )

Il problema è che non so come si fa a vedere se l'insieme è chiuso o meno. Sugli appunti non ho nulla o almeno credo...

La struttura algebrica è x $*$ y = xy + x


Riporta per intero il testo del problema. Così non si capisce niente.

vecio88
La struttura algebrica Per Ogni x,y $in$ $ZZ$, x $*$ y = xy + x

La struttura algebrica non è un monoide perchè non è associativa, e non è neanche un gruppo perchè non ha elemento neutro e perciò gli elementi non hanno gli inversi. La traccia mi chiede

La traccia chiede : Stabilire se $NN$ è chiuso rispetto a $*$

che significa che l'insieme $NN$ è chiuso rispetto a $*$ ???

Richard_Dedekind
Una struttura algebrica [tex](S,@)[/tex] è chiusa rispetto a [tex]@[/tex] se [tex]\forall x,y\in S,\,\,\,x\,@\,y\in S[/tex].

Nel tuo caso si tratta di dire se [tex]x\cdot y= xy+x\in \mathbb{N}\,\,\forall x,y\in \mathbb{N}[/tex]. Praticamente ti sta chiedendo la chiusura della struttura algebrica [tex](\mathbb{N},\cdot)[/tex] dopo averti fatto studiare [tex](\mathbb{Z},\cdot)[/tex].

vecio88
Perciò devo dimostrare che presi 2 elementi qualsiasi x,y appartenenti a $ZZ$ il risultato è valido anche in $NN$?

Richard_Dedekind
Come ti ho scritto: il risultato deve essere naturale. Ma se ci pensi un secondo vedi subito che ciò non è possibile per ogni [tex]x,y[/tex] interi.

vecio88
ovvio :) Grazie :)

Studente Anonimo
Studente Anonimo
Che c'entra [tex]\mathbb{Z}[/tex]? Quello che bisogna dimostrare e' che [tex]\mathbb{N}[/tex] e' chiuso rispetto a [tex]\cdot[/tex], cioe' che [tex]x \cdot y \in \mathbb{N}[/tex] per ogni [tex]x,y \in \mathbb{N}[/tex]. E questo e' vero. :wink:

Richard_Dedekind
Chissà quale strano meccanismo mentale mi ha fatto mescolare le cose...

vecio88
Perciò i due elementi li devo scegliere in base all'insieme che devo dimostrare chiuso?

Richard_Dedekind
"vecio88":
Perciò i due elementi li devo scegliere in base all'insieme che devo dimostrare chiuso?

Certo, guarda la definizione che ti ho dato (e che, stupidamente, non ho seguito)! Sennò che chiusura è se si prendono elementi di altri insiemi?

vecio88
Capi :) infatti mi sembrava strano ma mi sono fidato di quello che avevi scritto :) Grazie a tutti :)

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.