צריך להניח שהקבוצה הריקה שייכת ל-T?
::רציתי רק לוודא- השאלה שלך היא על שאלה 4 או אולי התכוונת דווקא לשאלה 3?--[[משתמש:מני ש.|מני]] 19:12, 22 באפריל 2012 (IDT)
== תרגיל 7, שאלה מספר 2 ==
שמתי לב שבהוכחת א-->ב לא השתמשתי בכך שכל נקודון סגור, אלא רק בהפרדה הסימולטנית בין קבוצות סגורות. בפרט, אם אצליח להוכיח את הגרירה ב-->א הרי שהוכחתי שכל מרחב שבו ניתן להפריד סימולטנית בין קבוצות סגורות הוא גם T1 (כלומר נורמלי). דבר זה אינו נכון.
השאלה שלי היא, האם מותר להניח שהמרחב הטופולוגי הוא T1 מלכתחילה.