שינויים
/* שאלה לגבי הוכחה שאם מרחב המכפלה האוסדורף אז כל מרחב x הוא האוסדורף */
כל המשפטים שקישרו בין האוסדורף להומיאומורפיזם דרשו קומפקטיות של התחום.
ציטוט מההוכחה:
הוכחה: בהינתן β∈I נראה שX_β האוסדורף. כיוון שהנחנו שX_α≠ϕ לכל α אנו יכולים לבנות תת מרחב Y_β⊆Π_(α∈I) X_α כפי שעשינו בטענה האחרונה. כיוון שΠ_(α∈I) X_α האוסדורף, נקבל שY_β האוסדורף (תת מרחב של האוסדורף הוא האוסדורף) וכיוון שX_β≅Y_β גם X_β האוסדורף.
הקביעה האחרונה לא ברורה.
