  \documentclass[oneside,final,11pt]{article}

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{xunicode}
  \usepackage{fancyhdr}
  \addtolength{\headheight}{5\baselineskip}
  \renewcommand{\headrulewidth}{0pt}
  \fancyhead[L,R]{}
  \fancyhead[C]{\includegraphics[scale=0.5]{bguhead.png}}
  \fancyfoot[L,C,R]{}
  \addtolength{\voffset}{-70pt}

\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}


\pagestyle{fancy}
\begin{center}

  \huge{המחלקה למתמטיקה}\\[0.1\baselineskip]
  \Large{סמסטר 22--2021--ב}\\[0.2\baselineskip]

\end{center}

\begin{description}
  \item[שם הקורס]
    מבוא לתורת הקבוצות

  \item[מספר קורס]
    \LRE{201‭.1‭.0171}

  \item[עמוד הקורס ברשת]\mbox{}\\
    \url{https://math.bgu.ac.il//he/teaching/spring2022/courses/intro-to-logic-and-sets}

  \item[מרצה אחראי]
    פרופ` אסף חסון,
    \nolinkurl{<hassonas@bgu.ac.il>},
    חדר 204

\item[שעות קבלה]
  \url{https://math.bgu.ac.il/he/teaching/hours}
\end{description}

\section*{תקציר}

  \begin{RTL}
קבוצות סדורות וקבוצות סדורות היטב. סודרים. תכונות של סדרים קוויים. יחידות סדר קווי צפוף בן-מניה ללא קצוות.

הקבוצה של כל הסודרים הסופיים. בניית הטבעיים. אינדוקציה.

קבוצות בנות מנייה. בניית הרציונלים.

בניית המספרים הממשיים.

עצמות. משפט קנטור-ברנשטיין.

קבוצות לא ניתנות להימנות.

אקסיומת הבחירה וניסוחיה השקולים (עיקרון הסדר הטוב, הלמה של צורן).

שימושים של אקסיומת הבחירה. אינדוקציה על סופית.

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

ספרות מומלצת

H. Enderton, Elements of Set Theory

אברהם שמוקלר, מבוא לתורת הקבוצות.

במהדורות מאוחרות יותר, שם המחבר הוא שמרון.

שמואל ברגר, תורת הקבוצות בהוצאת האוניברסיטה הפתוחה

רשימות של פרופסור אסף רינות (קישור באתר)
שינוי אחרון: 19/04/2020, 11:39
\end{RTL}


\section*{דרישות והרכב ציון הקורס\footnote{דרישות הקורס יכולות להשתנות במהלך השבועיים הראשונים של הסמסטר, ויש לשים לב להודעות באתר הקורס}}

  \begin{RTL}
90\% ציון בחינה מסכמת 10\% ציוני עבודות בית. ציון עובר ב-4/6 עבודות בית לפחות הנו תנאי לקבלת ציון בקורס.
\end{RTL}




\section*{נושאי לימוד}

\begin{enumerate}
\item{} יחסי סדר חלקיים.  שרשראות ואנטי שרשראות. דוגמאות. משפט ארדש סקרס או משפט אחר להדגמה. בניית סדר חלקי על מנה מעל קדם סדר.
\item{} השוואת קבוצות. הגדרת עצמה כמחלקת שקילות. משפט קנטור ברנשטיין. משפט קנטור על קבוצת החזקה.
\item{} קבוצות בנות מניה. מניות הריבוע של הטבעיים, הסדרות הסופיות מעל קבוצה בת מניה, בניית הרציונלים. יחידות הסדר הרציונלי.
\item{} משפט רמזי. שימושים.
\item{} בניית המספרים הממשיים כמנה מעל שקילות סדרות קושי.
\item{} הלמה של קניג על עצים בני מניה עם רמות סופיות. שימושים: גרף בן מניה צביע ב-k צבעים אם ורק אם כל תת גרף סופי שלו צביע ב-k צבעים.
\item{} סדר טוב. איזומורפיזמים בין סדרים טובים. ניסוח אקסיומת הבחירה כעיקרון הסדר הטוב. דוגמאות. שימוש: גרף כלשהו צביע ב-k צבעים אםם כל תת גרף סופי שלו צביע ב-k צבעים.
\item{} הלמה של צורן. שימושים. (קיום בסיס למרחב וקטורי כלשהו; קיום עץ פורש בגרף כלשהו).
\item{} דיון באקסיומות של תורת הקבוצות ונחיצותן. הפרדוקס של ראסל.  סודרים.
\item{} אינדוקציה טרנספיניטית. שימושים: קיום קבוצה במישור שחיתוכה עם כל ישר הוא  בגודל 2.
\item{} מונים אינסופיים כסודרים פותחים. אריתמטיקה בסיסית של מונים. חישובי עצמות של קבוצות מוכרות?: קבוצת הפונקציות הממשיות הרציפות, האוטומורפיזמים של השדה הממשי (עם ובלי סדר).
\end{enumerate}

% vim: ft=eruby.tex:


\end{document}

% vim: ft=eruby.tex:
