שיחה:מרחב בייר (טופולוגיה)

ביקורת עמיתים

כתבתי את הערך על מרחב בייר. ערך זה הוא חלק מסדרה של ערכים שאני כותב על מנת לשכתב את משפט הקטגוריה של בייר. הוספתי בסוגריים את המילה טופולוגיה לכותרת כדי למנוע התבלבלות עם מרחב הסדרות של בייר, שהוא למעשה הקבוצה $\mathbb {N} ^{\mathbb {N} }$.

אשמח מאוד לביקורת עמיתים, בפרט של יונה בנדלאק, דניאל ב., hagay1000, פשוט, עוזי ו. (בנושאים מסוימים), דביר, איתי (לא בכל מה שקשור למתמטיקה), יואל, ruleroll (גאומטריה), רמי, Tshuva, בר, yotamsvoray, CodeGuru, Zardav, דוד שי, אכן, TergeoSoftware, MathKnight, מקף, E L Yekutiel, שגיא בוכבינדר שדור, YoavDvir, Meir2, Kivkiwi, Innaento, דימה, איתן בעלי הידע במתמטיקה.

בתודה, שגיא Saroad - שיחה 18:11, 27 באוגוסט 2023 (IDT)

ערך מעולה, תודה רבה!

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

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

לגבי שני הערכים האחרים, להבנתי ההגדרות האלה לא לגמרי חופפות, אבל אולי כאן כן; בכל אופן אולי כדאי ליצור אחידות בניסוח, אלא אם יש סיבה להתייחס אליו אחרת בשני הערכים. ‏E L Yekutiel‏ - שיחה 23:42, 27 באוגוסט 2023 (IDT)

היי @E L Yekutiel, Nice catch!

אכן טעיתי. מדובר במרחב רגולרי קומפקטי מקומית. מרחב האוסדורף רגולרי הוא מקרה פרטי של מרחב זה.

תיקנתי בפסקת הפתיחה. Saroad - שיחה 15:35, 28 באוגוסט 2023 (IDT)

👍 ‏E L Yekutiel‏ - שיחה 21:46, 28 באוגוסט 2023 (IDT)