\documentclass[oneside,final,12pt]{book}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}

\usepackage{hyperref}
\usepackage{xstring}
\def\rooturl{https://www.math.bgu.ac.il/}
\hyperbaseurl{\rooturl}
\let\hhref\href
\providecommand{\extrahref}[2][]{\LTRfootnote{\LR{\IfBeginWith*{#2}{http}{\nolinkurl{#2}}{\nolinkurl{\rooturl#2}}}}}
\renewcommand{\href}[2]{\IfBeginWith*{#1}{http}{\hhref{#1}{#2}}{\hhref{\rooturl#1}{#2}}\extrahref{#1}}

\usepackage{polyglossia}
\usepackage{longtable}
%% even in English, we sometimes have Hebrew (as in course hours), and we
%% can't add it in :preamble, since it comes after hyperref
%%\usepackage{bidi}
\setdefaultlanguage{hebrew}
\setotherlanguage{english}
%%\setmainfont[Script=Hebrew,Ligatures=TeX]{Libertinus Serif}
\setmainfont[Script=Hebrew,Ligatures=TeX]{LibertinusSerif}[
  UprightFont = *-Regular,
  BoldFont = *-Bold,
  ItalicFont = *-Italic,
  BoldItalicFont = *-BoldItalic,
  Extension = .otf]

%%\newfontfamily{\hebrewfonttt}{Libertinus Serif}
\newfontfamily{\hebrewfonttt}{Liberation Serif}
\SepMark{‭.}
\robustify\hebrewnumeral
\robustify\Hebrewnumeral
\robustify\Hebrewnumeralfinal

% vim: ft=eruby.tex:



\begin{document}
\pagestyle{empty}
\pagenumbering{gobble}

\begin{center}
\vspace*{\baselineskip}

{\Large המחלקה למתמטיקה, בן-גוריון}

\vspace*{\baselineskip}

\rule{\textwidth}{1.6pt}\vspace*{-\baselineskip}\vspace*{2pt}
\rule{\textwidth}{0.4pt}\\[\baselineskip]

{\Huge אשנב למתמטיקה}\\[0.2\baselineskip]

\rule{\textwidth}{0.4pt}\vspace*{-\baselineskip}\vspace{3.2pt}
\rule{\textwidth}{1.6pt}\\[\baselineskip]

\textbf{ב}\emph{יום שלישי,  5 באפריל, 2022}
\bigskip

\textbf{בשעה} \emph{16:10 -- 17:30}
\bigskip

\textbf{ב}\emph{אולם -101, בניין מתמטיקה}

\vspace*{2\baselineskip}

ההרצאה

\bigskip
{\Large\bfseries טופולוגיה לא קומוטטיבית\par}
\bigskip

תינתן על-ידי
\bigskip

{\large\scshape אילן הירשברג}
\bigskip

\end{center}
\vfill

\textbf{תקציר:}
  בהנתן מרחב מטרי קומפקטי $X$ (או האוסדורף קומפקטי באופן כללי יותר), אוסף הפונקציות הרציפות עם ערכים מרוכבים מהווה מרחב בנך (כלומר מרחב וקטורי עם נורמה, שהוא שלם ביחס לנורמה הזו), אך יתר על כן ניתן להכפיל בו את הפונקציות, ולכן יש לו מבנה של חוג (או ליתר דיוק אלגברה - מרחב וקטורי שהוא גם חוג). מסתבר שניתן לשחזר את כל התכונות של המרחב $X$ מתוך התכונות של של המבנה האלגברי-טופולוגי הזה. למשל, ניתן לזהות בין נקודות במרחב לבין אידאלים מקסימליים במרחב $X$.

בשנות ה-50׳, עבודה עמוקה של המתמטיקאים גלפנד ונאימרק הגדירה מערכת אקסיומות של אלגבראות שהן פונקציות רציפות על מרחבים האוסדורף קומפקטיים. אלגברה שמקיימת את האקסיומות האלה נקראת \textbf{אלגברת $C^*$ קומוטטיבית}. למעשה, תורה זו נותנת איפיון שקול למושג של מרחב טופולוגי האוסדורף קומפקטי.

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

בסביבות שנות ה-70׳ וה-80׳, בין היתר בשל עבודותיו של המתמטיקאי זוכה מדליית פילדס אלן קון ואחרים, התגבשה התובנה שאם אלגבראות $C^*$ קומוטטיביות הן בעצם תיאור שקול של מרחבים טופולוגיים, אז יש לחשוב על אלגבראות $C^*$ כלליות כעל הכללה של מושג המרחב הטופולוגי, ולהכליל שיטות מטופולוגיה לתחום זה.

מאחר שמדובר בתחום מחקר מופשט, שמשלב בתוכו מושגים מאנליזה, טופולוגיה ואלגברה, אי אפשר יהיה להציג משפטים ובעיות מחקריות עדכניות בהרצאה זו. לכן, בהרצאה אתמקד בהסבר מדויק יותר של חלק מהמושגים שצוינו לעיל, וכן אנסה לתת מספר דוגמאות לאלגבראות $C^*$, הכללה של כלים טופולוגיים למקרה זה, ואולי אציין בקצרה כיווני מחקר מסוימים שמעניינים אותי בימים אלה, אם יתאפשר.
  


\vfill





% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
