Έστω η σχέση ισοδυναμίας στο
για κάποιο
ισχύει ότι
. Για τις κλάσεις ισοδυναμίας ισχύει:Α. Το πλήθος είναι πεπερασμένο και όλες είναι άπειρα σύνολα.
Β. Το πλήθος είναι πεπερασμένο και όχι όλες άπειρα σύνολα.
Γ. Κάποια κλάση είναι πεπερασμένη και περιέχει πάνω από ένα στοιχείο.
Δ. Το πλήθος είναι άπειρο και όλες είναι πεπερασμένα σύνολα.
Ε. Καμιά κλάση δεν είναι πάνω από ένα.
Εγώ σκέφτηκα το εξής.
Έχουμε σχέση ισοδυναμίας οπότε ισχύει η ανακλαστική, η συμμετρική και η μεταβατική ιδιότητα.
Τα στοιχεία που είναι ισοδύναμα ανήκουν στην ίδια κλάση ισοδυναμίας.
Το
είναι ισοδύναμο με όλες τις δυνάμεις του
, αφού
. Άρα μία κλάση έχει άπειρα στοιχεία. Άρα αποκλείουμε το Δ και το Ε. Από κει και πέρα κολλάω λίγο. Καμιά βοήθεια; Ευχαριστώ εκ των προτέρων!
που να είναι ισοδύναμα;
, μπορείς να γράψεις άπειρα το πλήθος ισοδύναμα με αυτό;
), όμως το Γ μιλά για πάνω από ένα στοιχείο. Πώς τα συμβιβάζεις αυτά;
αφού δεν έχει νόημα ως πρόταση;