פוסט חדש בבלוג: משפט טיכונוף. בהוכחה של אחד מהמשפטים המגניבים ביותר בטופולוגיה קבוצתית יש את אקסיומת הבחירה ויש שלב שבו צריך ארבעה סוגי סימונים שונים לאיברים, קבוצות, אוספים ומשפחות. ואלו בכלל לא החלקים המסובכים בהוכחה. gadial.net/2026/08/01/t...
מבוא לטופולוגיה קבוצתית: משפט טיכונוףלא מדויק - בלוג על מתמטיקה ומדעי המחשבgadial.net