|
אני לא בטוח שאני מסכים. קבוצת כל הסדרות מאורך סופי *כלשהו* היא עדיין בת מנייה, אבל את קבוצת כל הסדרות האינסופיות, אפילו מעל אלפבת בת שני אותיות, אפשר לראות בתור אוסף כל הפונקציות מהטבעיים אל האותיות - והאוסף הזה הוא לא בן מנייה (שתיים בחזקת אלף אפס).
קבוצה לא בת מנייה של סימנים זה כבר מעניין. כל עוד העולם דיסקרטי אין לנו דרך לייצר כזו (כי אפשר לראות כל סימן בתור אוסף דיסקרטי של נקודות במישור). מצד שני, אם יש לנו רצף, אין בעיה להשתמש בסימן אחד, ופשוט לצבוע אותו בצבעים שונים (זאת בהנחה שיש לנו רצף של צבעים).
|
|