diff --git a/Primo anno/Geometria 1/README.md b/Primo anno/Geometria 1/README.md index 4dbc733..7bb923f 100644 --- a/Primo anno/Geometria 1/README.md +++ b/Primo anno/Geometria 1/README.md @@ -4,7 +4,7 @@ - [Registro del corso 📑](https://unimap.unipi.it/registri/dettregistriNEW.php?re=7084691::::&ri=9631) - [Sito web 🔗](http://people.dm.unipi.it/salvetti/GeometriaI_Matematica/indice1.html) -Il corso di Geometria 1 è terminato, ma questa cartella vedrà ancora aggiornamenti per il momento. Gli appunti non sono stati presi con gli stessi strumenti sin dall'inizio: in particolar modo, +Il corso di Geometria 1 è terminato, quindi questa cartella non vedrà più aggiornamenti per il momento. Gli appunti non sono stati presi con gli stessi strumenti sin dall'inizio: in particolar modo, ho iniziato a prendere appunti con [Microsoft Journal](https://apps.microsoft.com/store/detail/microsoft-journal/9N318R854RHH?hl=it-it&gl=it), per poi passare definitivamente a prenderli in LaTeX con [TeXstudio](https://www.texstudio.org/). Alcuni appunti sono ancora in corso di revisione (troverete \[WIP\] nel titolo o un breve avviso all'inizio del documento), ma sono sostanzialmente completi. La cartella contiene in particolar modo una [Scheda riassuntiva](https://g1.hearot.it), che, come suggerisce il nome, vorrebbe essere un recap di diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/main.pdf b/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/main.pdf new file mode 100644 index 0000000..db35b10 Binary files /dev/null and b/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/main.pdf differ diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/main.tex b/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/main.tex new file mode 100644 index 0000000..0bd6563 --- /dev/null +++ b/Terzo anno/Elementi di Teoria degli Insiemi/Assiomi di ZFC/main.tex @@ -0,0 +1,116 @@ +\documentclass[letterpaper, 11pt]{extarticle} + +\usepackage{setspace} + +\usepackage{amsmath} +\usepackage[italian]{babel} +\usepackage[margin = 1in]{geometry} +\usepackage{scrextend} +\usepackage{titlesec} + +\setlength{\parindent}{0pt} +\setlength{\parskip}{1ex} + +\usepackage{lmodern} +\renewcommand{\familydefault}{\sfdefault} + +\NewDocumentEnvironment{axiom}{m +b}{ + \par\medskip + \noindent\textbf{#1}\par + \begin{addmargin}[2em]{4em} + #2 + \end{addmargin} + \par\medskip +}{} + +\begin{document} + +\begin{LARGE} + \textsf{\textbf{Assiomi della teoria di Zermelo-Fraenkel con scelta (ZFC)}} +\end{LARGE} + +\vspace{1ex} + +\linespread{1.3} + +L'alfabeto del linguaggio consiste di una successione infinita di variabili +che rappresentano gli insiemi, dei connettivi logici $\lnot$ (``non''), $\lor$ (``o''), $\land$ (``e''), dei quantificatori $\forall$ (``per ogni''), $\exists$ (``esiste''), del simbolo di uguaglianza $=$, +del simbolo di appartenenza a un insieme $\in$ e delle parentesi tonde $($ e $)$. + + +Con questo alfabeto, si dicono formule ben formate le formule atomiche $x = y$ e $x \in y$, dove $x$ e $y$ sono metavariabili, e per ricorsione le formule $\exists x \, \varphi$, $\forall x \, \varphi$, $\lnot \varphi$, $(\varphi \land \phi)$, $(\varphi \lor \psi)$, dove $\varphi$ e $\psi$ sono a loro volta +formule ben formate. + + +Impieghiamo $(a \rightarrow b)$ (``$a$ implica $b$'') come abbreviazione per $(\lnot a \lor b)$, così come +$(a \leftrightarrow b)$ (``$a$ se e solo se $b$'') per $(a \rightarrow b \land b \rightarrow a)$. Per chiarezza ammettiamo come abbreviazione anche $(\varphi)$ per $\varphi$. + +\begin{axiom}{Assioma dell'estensionalità (ZF1)} + Se due insiemi $x$ e $y$ hanno gli stessi elementi, allora sono lo stesso insieme. + \[ \forall x \forall y(\forall z(z \in x \leftrightarrow z \in y) \rightarrow x = y). \] +\end{axiom} + +\begin{axiom}{Assioma dell'insieme vuoto (ZF2)} + Esiste un insieme privo di elementi. + \[ \exists x \lnot \exists y (y \in x). \] +\end{axiom} + +\begin{axiom}{Assioma della coppia (ZF3)} + Dati due insiemi $x$, $y$, esiste un insieme contenente esattamente $x$ e $y$, ovverosia $\{x, y\}$. + \[ \forall x \forall y \exists z\forall k (k \in z \leftrightarrow (k = x \lor k=y)). \] +\end{axiom} + +\begin{axiom}{Assioma delle parti (ZF4)} + Dato un insieme $x$, esiste l'insieme dei sottinsiemi di $x$, ovverosia l'insieme + delle parti $\mathcal{P}(x)$. + \[ \forall x \exists y \forall z(z \in y \leftrightarrow \forall k(k \in z \rightarrow k \in x)). \] +\end{axiom} + +\begin{axiom}{Assioma dell'unione (ZF5)} + Dato un insieme $x$, esiste l'insieme che contiene esattamente gli elementi degli elementi di $x$, ovverosia + l'insieme $\bigcup x$. + \[ \forall x \exists y \forall z(z \in y \leftrightarrow \exists k(k \in x \land z \in k)). \] +\end{axiom} + +\newpage + +\begin{axiom}{Assioma dell'infinito (ZF6)} + Esiste un insieme a cui appartiene l'insieme vuoto, e a cui appartiene $a \cup \{a\}$ se $a$ gli + appartiene. + \[ \exists x(\exists y(y \in x \land \lnot\exists z( z \in y)) \land \forall a (a \in x \rightarrow \exists b( b \in x \land \forall c( c \in b \leftrightarrow (c \in a \lor c = a))))). \] +\end{axiom} + +\begin{axiom}{Schema di assiomi di separazione (ZF7)} + Data una formula $\Psi(z, u_1, \ldots, u_n)$ dipendente dalla variabile $z$ libera + e da $u_1$, ..., $u_n$ eventualmente libere, esiste per ogni insieme $x$ il sottinsieme + $\{ z \in x \mid \Psi(z, u_1, \ldots, u_n) \}$. + \[ \forall u_1 \ldots \forall u_n \left[ \forall x \exists y\forall z(z \in y \leftrightarrow (z \in x \land \Psi(z, u_1, \ldots, u_n))) \right]. \] +\end{axiom} + +\begin{axiom}{Schema di assiomi di rimpiazzamento (ZF8)} + Data una formula funzionale $\Psi(x, y, u_1, \ldots, u_n)$ dipendente dalle variabili $x$ e $y$ + libere e da $u_1$, ..., $u_n$ eventualmente libere, esiste per ogni insieme $x$ l'insieme + $\{ y \mid \exists z\,(z \in x \land \Psi(z, y, u_1, \ldots, u_n)) \}$. + \begin{multline*} + \forall u_1 \ldots \forall u_n \bigl[ \forall x \forall y \forall z((\Psi(x, y, u_1, \ldots, u_n) \land \Psi(x, z, u_1, \ldots, u_n)) \rightarrow y = z) \rightarrow \\ + \forall a \exists b \forall c(c \in b \leftrightarrow \exists d (d \in a \land \Psi(d, c, u_1, \ldots, u_n))) \bigr]. + \end{multline*} +\end{axiom} + +\begin{axiom}{Assioma di buona fondazione (ZF9)} + Ogni insieme non vuoto $x$ contiene un elemento $y$ disgiunto da $x$. + \[ \forall x (\exists y (y \in x) \rightarrow \exists z (z \in x \land \forall a \lnot(a \in x \land a \in z))). \] +\end{axiom} + +\begin{axiom}{Assioma di scelta (AC)} + Data una famiglia $x$ di insiemi non vuoti a due a due disgiunti esiste un + insieme $e$ tale per cui l'intersezione $e \cap f$ contiene esattamente un elemento + per ogni $f \in x$. + \begin{multline*} + \forall x((\forall y(y \in x \rightarrow \exists z(z \in y)) \land \forall a \forall b((a \in x \land b \in x \land \lnot(a = b)) \rightarrow \\ + \lnot \exists d(d \in a \land d \in b))) \rightarrow \exists e \forall f (f \in x \rightarrow \\ + \exists g (g \in e \land g \in f \land \forall h ((h \in e \land h \in f) \rightarrow h = g)))). + \end{multline*} +\end{axiom} + +\end{document} diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/commands.tex b/Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/commands.tex similarity index 100% rename from Terzo anno/Elementi di Teoria degli Insiemi/commands.tex rename to Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/commands.tex diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/format.tex b/Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/format.tex similarity index 100% rename from Terzo anno/Elementi di Teoria degli Insiemi/format.tex rename to Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/format.tex diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/main.pdf b/Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/main.pdf similarity index 100% rename from Terzo anno/Elementi di Teoria degli Insiemi/main.pdf rename to Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/main.pdf diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/main.tex b/Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/main.tex similarity index 100% rename from Terzo anno/Elementi di Teoria degli Insiemi/main.tex rename to Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/main.tex diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/preamble.tex b/Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/preamble.tex similarity index 100% rename from Terzo anno/Elementi di Teoria degli Insiemi/preamble.tex rename to Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/preamble.tex diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/quiver.sty b/Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/quiver.sty similarity index 100% rename from Terzo anno/Elementi di Teoria degli Insiemi/quiver.sty rename to Terzo anno/Elementi di Teoria degli Insiemi/Esercizi/quiver.sty diff --git a/Terzo anno/Elementi di Teoria degli Insiemi/README.md b/Terzo anno/Elementi di Teoria degli Insiemi/README.md new file mode 100644 index 0000000..25e860a --- /dev/null +++ b/Terzo anno/Elementi di Teoria degli Insiemi/README.md @@ -0,0 +1,9 @@ +# [Elementi di Teoria degli Insiemi](https://unipi.coursecatalogue.cineca.it/insegnamenti/2024/50253_686261_66435/2008/50253/10299?coorte=2022&schemaid=9099) + +- [Programma del corso 📘](https://unipi.coursecatalogue.cineca.it/insegnamenti/2024/50253_686261_66435/2008/50253/10299?coorte=2022&schemaid=9099) +- [Registro del corso 📑](https://unimap.unipi.it/registri/dettregistriNEW.php?re=11061889::::&ri=9783) +- [Home page del corso 📔](https://people.dm.unipi.it/dinasso/eti-2024b.html) + +La cartella contiene sotto la cartella *Esercizi* la raccolta delle soluzioni degli esercizi assegnati dal prof. Di Nasso durante +il corso nell'A.A 2024-2025. La cartella *Assiomi di ZFC* raccoglie ancora in modo compatto gli enunciati e le formule degli assiomi +della teoria assiomatica di Zermelo-Fraenkel con l'assioma di scelta. \ No newline at end of file