συνάρτηση ώστε για κάθε ζεύγος
υποσυνόλων του
ώστε
. Να δειχθεί ότι η
είναι
. (β) Αν
είναι
στο
να αποδειχθεί ότι για όλα τα υποσύνολα
του
ισχύει ότι
.Συντονιστής: m.pαpαgrigorakis
συνάρτηση ώστε για κάθε ζεύγος
υποσυνόλων του
ώστε
. Να δειχθεί ότι η
είναι
.
είναι
στο
να αποδειχθεί ότι για όλα τα υποσύνολα
του
ισχύει ότι
.
α) ΈστωTolaso J Kos έγραψε: ↑Τρί Μαρ 22, 2022 9:00 pm(α) Έστωσυνάρτηση ώστε για κάθε ζεύγος
υποσυνόλων του
ώστε
. Να δειχθεί ότι η
είναι
.
(β) Ανείναι
στο
να αποδειχθεί ότι για όλα τα υποσύνολα
του
ισχύει ότι
.
. Αφού
και
, έχουμε ότι
. Έπεται ότι το
είναι μη κενό, και άρα (επειδή μιλάμε για μονοσύνολα) έπεται
, οπότε 
. Δείχνουμε και το αντιστροφο περιέχεσθαι:
τότε
και
, οπότε υπάρχουν
με
και
. Άρα
, και επειδή η
είναι 1-1, έχουμε
. Άρα
, οπότε
, όπως θέλαμε.
οπότε ας τον πούμε: Είναι το σύνολο όλων των
για
. Δηλαδή
.Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης