Κλειστότητα: Διαφορά μεταξύ των αναθεωρήσεων

7 bytes αφαιρέθηκαν ,  πριν από 2 μήνες
μ
επ.
(Αναδιατύπωση μαθηματικού ορισμού; Προσθήκη παραπομπών; Προσθήκη παραδειγμάτων)
μ (επ.)
Ετικέτα: επεξεργασία κώδικα 2017
 
Περιγραφικά, μπορούμε να ορίσουμε την ιδιότητα της '''κλειστότητας''' σε μια πράξη που έχει οριστεί σε ένα [[σύνολο]] ως έξης :
:Για κάθε ζεύγος στοιχείων που ανήκουν στο σύνολο και έχουν σαν αποτέλεσμα της πράξης ένα στοιχείο, το στοιχείο αυτό ανήκει επίσης στο σύνολο.
 
:Έστω ένα σύνολο <math>S</math>, μία [[Δυαδική πράξη|δυαδική πράξη]] <math>\cdot</math> στο σύνολο (δηλαδή <math>\cdot : S \times S \to S</math>) και ένα σύνολο <math>H \subseteq S</math>. Τότε το <math>(H , \cdot)</math> ικανοποιεί την ιδιότητα της κλειστότητας ανν
::<math>\forall a, b \in H. a \cdot b \in H</math>.
Τότε λέμε ότι το <math>H</math> είναι '''κλειστό ως προς''' την πράξη <math>\cdot</math>.<ref>{{cite web |last=Μαρμαρίδης |first=Νίκος |title=Σημειώσεις στην Θεωρία Δακτυλίων |url=http://users.uoi.gr/abeligia/RingTheory2020/RingTheory_NM.pdf |publisher=Πανεπιστήμιο Ιωαννίνων |accessdate=18 Ιουλίου 2022 |pages=1}}</ref>
 
== Παραδείγματα ==
* Έστω <math>H = \{ 2k : k \in \N \}</math>, το σύνολο των ζυγών φυσικών αριθμών και <math>+</math> η πρόσθεση στους ακεραίους. Τότε, το <math>(H, +)</math> ικανοποιεί την κλειστότητα, αφού το άθροισμα δύο ζυγών είναι ζυγός.
* Έστω <math>H = \{ k^3 : k \in \N \}</math>, το σύνολο των [[Κύβος (άλγεβρα)|κύβων]] φυσικών αριθμών και <math>+</math> η πρόσθεση στους ακεραίους. Τότε, το <math>(H, +)</math> '''δεν''' ικανοποιεί την κλειστότητα, αφού το άθροισμα δύο κύβων δεν είναι κατά ανάγκη κύβος είναι κύβος (π.χ. <math>1^3 + 2^3 = 9</math> που δεν είναι κύβος).
* Εξ' ορισμού σε κάθε [[Μονοειδές|μονοειδές]], [[Ομάδα|ομάδα]], [[Σώμα (άλγεβρα)|σώμα]], [[Δακτύλιος (άλγεβρα)|δακτύλιο]], το σύνολο μαζί με τις αντίστοιχες πράξεις ικανοποιεί την ιδιότητα της κλειστότητας.
 
== Παραπομπές ==
46.660

επεξεργασίες