תרחיב על לפרמל ייצוג וקירוב? למה זה מעניין אותנו ומה האספקטים האלגבריים שם?

כל הכונסעפת של קירוב נסמך על הגדרה של מרחבים מעתריים,,,,,

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

וודאי שזה אלגברע יש שם שימוש במרחבים וועכתוריים כמו בכל דבר

אם הטענה היא שאין כלום במתמטיקה בלי אלגברה אז אוקיי, אבל זה קצת טיעון ריק בעיני

זה חלק ממה שעושה את השרשור הזה מוזר סורי כן אלגברי ליניארית זה חלק מהא"ב של מתמתיכא בכללי כמו תורת הקבוצות ותופולוגיא,

נעלב לי בצד בשם תורת הקטגוריות

טוב גם הטענה "משין לרנינג בנויה על תורת הקבוצות" היא הזויה בעיני. אנחנו כנראה לא מסכימים על ההגדרה של "בנויה על".

כאילו אתה צריך פורמליזציה של מרחב של פונכציות עם תכונות מסוימות en.wikipedia.org/wiki/Bochner...

וחוצמזה,,,,,,,,,,כל הכונספת של דיסתריביושנז הוא אלגבראי,,,,,,,,,,,,,,כאילו סורי קצת מוזר להגיד את זה זה מובן מאליו אלגברע ליניארית זה הבעייסיכס של מתמתיכא,