From 3d60b0448296ea69daa5abd5195627fd5c7bcaa1 Mon Sep 17 00:00:00 2001 From: Luc Date: Wed, 3 Jan 2024 13:18:38 +0100 Subject: [PATCH] Added the section number-theory and removed some error. --- config/en/mkdocs.yaml | 4 + docs/en/chemistry/start.md | 2 +- docs/en/index.md | 4 +- .../number-theory/complex-numbers.md | 230 ++++++++++++++++++ .../number-theory/integer-arithmetic.md | 1 + .../number-theory/modular-arithmetic.md | 1 + docs/en/mathematics/start.md | 17 +- docs/nl/index.md | 2 + 8 files changed, 248 insertions(+), 13 deletions(-) create mode 100644 docs/en/mathematics/number-theory/complex-numbers.md create mode 100644 docs/en/mathematics/number-theory/integer-arithmetic.md create mode 100644 docs/en/mathematics/number-theory/modular-arithmetic.md diff --git a/config/en/mkdocs.yaml b/config/en/mkdocs.yaml index fe34ae4..039385f 100755 --- a/config/en/mkdocs.yaml +++ b/config/en/mkdocs.yaml @@ -75,6 +75,10 @@ nav: - 'Recursion and induction': mathematics/set-theory/recursion-induction.md - 'Cardinalities': mathematics/set-theory/cardinalities.md - 'Additional axioms': mathematics/set-theory/additional-axioms.md + - 'Number theory': + - 'Integer arithmetic': mathematics/number-theory/integer-arithmetic.md + - 'Modular arithmetic': mathematics/number-theory/modular-arithmetic.md + - 'Complex numbers': mathematics/number-theory/complex-numbers.md - 'Calculus': - 'Limits': mathematics/calculus/limits.md - 'Continuity': mathematics/calculus/continuity.md diff --git a/docs/en/chemistry/start.md b/docs/en/chemistry/start.md index 5691f52..9f9cdb8 100644 --- a/docs/en/chemistry/start.md +++ b/docs/en/chemistry/start.md @@ -1,3 +1,3 @@ -# Mathematics +# Chemistry Welcome to the chemistry page. \ No newline at end of file diff --git a/docs/en/index.md b/docs/en/index.md index 0812555..82d7b9d 100644 --- a/docs/en/index.md +++ b/docs/en/index.md @@ -1,3 +1,5 @@ # Welcome -Welcome to this web page where I have digitalized my notes from several fields. \ No newline at end of file +Welcome to this web page where I have digitalized my notes from several fields. + +Written by Luc Bijl. \ No newline at end of file diff --git a/docs/en/mathematics/number-theory/complex-numbers.md b/docs/en/mathematics/number-theory/complex-numbers.md new file mode 100644 index 0000000..a3452d3 --- /dev/null +++ b/docs/en/mathematics/number-theory/complex-numbers.md @@ -0,0 +1,230 @@ +# Complex numbers + +## Definition + +Let $p: A \to B$ be a quadratic equation given by + +$$ + p(x) = ax^2 + bx + c, \qquad x \in A. +$$ + +If we have $A,B \subseteq \mathbb{R}$ we can describe the descriminant $D$ of $p$ as + +$$ + D = b^2 - 4ac \begin{cases}>0: \text{two real solutions},\\ =0: \text{one real solution},\\ <0: \text{no real solution}.\end{cases} +$$ + +We may now define a set of numbers such that the discriminant $D$ of $p$ can be expressed as + +$$ + D = b^2 - 4ac \begin{cases}>0: \text{two solutions},\\ =0: \text{one solution},\\ <0: \text{two solutions},\end{cases} +$$ + +with $A,B \subseteq \mathbb{C}$. We call these the complex numbers. + +> *Definition*: let $z=a+bi$ with $a,b \in \mathbb{R}$ and $i^2 = -1$ is the definition of a complex number. The set of complex numbers is denoted by $\mathbb{C}$. Such that we have $z \in \mathbb{C}$. +> +> * The real part of the complex number $z$ is given by $\mathrm{Re}(z) = a$. +> * The imaginary part of the complex number $z$ is given by $\mathrm{Im}(z) = b$. +> * The modulus of the complex number $z$ is given by $|z| = \sqrt{a^2+b^2}$. +> * The conjugate of the complex number $z$ is given by $\overline z = a - bi$. + +## Properties of the complex numbers + +> *Proposition*: let $z = a + bi$ be a complex number. The product of $z$ with its conjugate $\overline z$ is given by $z \overline z = |z|^2$. + +??? note "*Proof*:" + + Suppose $z = a + bi$ is complex number then $\overline z = a - bi$ is its conjugate and we have + + $$ + z \overline z = (a+bi)(a-bi) = a^2 - b^2 i^2 = a^2 + b^2 = |z|^2. + $$ + +> *Proposition*: let $z_\alpha = a_\alpha + b_\alpha i$ with $\alpha \in \{1,2\}$ be two complex numbers. +> +> * Addition of two complex numbers is given by $z_1 + z_2 = (a_1 + a_2) + (b_1 + b_2)i$. +> * Multiplication of two complex numbers is given by $z_1 z_2 = (a_1 a_2 - b_1 b_2) + (a_1 b_2 + a_2 b_1)i$. +> * Division of two complex numbers is given by $\frac{z_1}{z_2} = \frac{a_1 a_2 + b_1 b_2}{a_2^2 + b_2^2} + \frac{-a_1 b_2 + a_2 b_1}{a_2^2 + b_2^2}i = \frac{z_1 \overline z_2}{|z_2|^2}$. + +??? note "*Proof*:" + + Suppose $z_\alpha = a_\alpha + b_\alpha i$ with $\alpha \in \{1,2\}$ are two complex numbers. + + For addition we have + + $$ + z_1 + z_2 = (a_1 + b_1 i) + (a_2 + b_2 i) = (a_1 + a_2) + (b_1 + b_2)i. + $$ + + For multiplication we have + + $$ + z_1 z_2 = (a_1 + b_1 i)(a_2 + b_2 i) = (a_1 a_2 + b_1 b_2 i^2) + (b_1 a_2 + a_1 b_2) i = (a_1 a_2 - b_1 b_2) + (a_1 b_2 + a_2 b_1)i. + $$ + + For division we have + + $$ + \frac{z_1}{z_2} = \frac{z_1 \overline z_2}{z_2 \overline z_2} = \frac{z_1 \overline z_2}{|z_2|^2} = \frac{(a_1 + b_1 i)(a_2 - b_2 i)}{|z_2|^2} = \frac{a_1 a-2 - b_1 b_2 i^2 + (b_1 a_2 - b_2 a_1)i}{|z_2|^2} = \frac{a_1 a_2 + b_1 b_2}{a_2^2 + b_2^2} + \frac{-a_1 b_2 + a_2 b_1}{a_2^2 + b_2^2}i, + $$ + + is thus also a complex number. + +For real numbers the calculation rules are in agreement with the ordinary calculation rules for addition, multiplication and division of real numbers. Consequenty, the complex number system is an extension of the real number system. + +## Geometry of complex numbers + +Complex numbers may be represented as vectors in the complex plane, spanned by the real and imaginary axes. The addition of the complex numbers may then be observed as vector addition. + +> *Definition*: let $z \in \mathbb{C}$ be a complex number and $C$ a circle with radius $r \in \mathbb{R}^+$ and center $c \in \mathbb{C}$. Then the circle $C$ is given by +> +> $$ +> |z - c| = r. +> $$ +> +> The unit circle is given by $|z| = 1 = z \overline z$. + +Each point on the unit circle has rectangular coordinates of the form $(\cos \varphi, \sin \varphi)$, with $\varphi$ the angle with respect to the postitive real number axis. + +> *Proposition*: let $z \in \mathbb{C}$ be a complex number given by +> +> $$ +> z = \cos \varphi + i \sin \varphi, +> $$ +> +> with $\varphi \in [0, 2\pi)$ describes a point on the unit circle. + +??? note "*Proof*:" + + let $z \in \mathbb{C}$ be a complex number given by $z = \cos \varphi + i \sin \varphi$ with $\varphi \in [0, 2\pi)$. We have + + $$ + |z|= |\cos \varphi + i \sin \varphi| = \sqrt{\cos^2 \varphi + \sin^2 \varphi} = \sqrt{1} = 1. + $$ + +The angle $\varphi$ is called the argument of its corresponding complex number $z$, denoted by $\varphi = \mathrm{arg}(z)$. + +> *Proposition*: let $z_\alpha = \cos \varphi_\alpha + i \sin \varphi_\alpha$ with $\varphi_\alpha \in \mathbb{R}$ and $\alpha \in \{1,2\}$ be two complex numbers on the unit circle. +> +> * Multiplication of two complex numbers on the unity circle gives $z_1 z_2 = \cos (\varphi_1 + \varphi_2) + i \sin (\varphi_1 + \varphi_2)$. +> * Division of two complex numbers on the unity circle gives $\frac{z_1}{z_2} = \cos (\varphi_1 - \varphi_2) + i \sin (\varphi_1 - \varphi_2).$ + +??? note "*Proof*:" + + let $z_\alpha = \cos \varphi_\alpha + i \sin \varphi_\alpha$ with $\varphi_\alpha \in \mathbb{R}$ and $\alpha \in \{1,2\}$ be two complex numbers on the unit circle. + + We have for multiplication + + $$ + \begin{align*} + z_1 z_2 &= (\cos \varphi_1 + i \sin \varphi_1)(\cos \varphi_2 + i \sin \varphi_2), \\ + &= (\cos \varphi_1 \cos \varphi_2 - \sin \varphi_1 \sin \varphi_2) + i (\cos \varphi_1 \sin \varphi_2 + \sin \varphi_1 \cos \varphi_2), \\ + &= \cos (\varphi_1 + \varphi_2) + i \sin (\varphi_1 + \varphi_2). + \end{align*} + $$ + + We have then for division + + $$ + \begin{align*} + \frac{z_1}{z_2} &= \frac{z_1 \overline z_2}{|z_2|^2}, \\ + &= \frac{(\cos \varphi_1 + i \sin \varphi_1)(\cos \varphi_2 - i \sin \varphi_2)}{1}, \\ + &= (\cos \varphi_1 \cos \varphi_2 + \sin \varphi_1 \sin \varphi_2) + i (\sin \varphi_1 \cos \varphi_2 - \cos \varphi_1 \sin \varphi_2), \\ + &= \cos (\varphi_1 - \varphi_2) + i \sin (\varphi_1 - \varphi_2). + \end{align*} + $$ + +In argument notation we then have + +* For multiplication: $\mathrm{arg}(z_1 z_2) = \mathrm{arg}(z_1) + \mathrm{arg}(z_2)$. +* For division: $\mathrm{arg}(\frac{z_1}{z_2}) = \mathrm{arg}(z_1) - \mathrm{arg}(z_2)$. + +## Euler's formula + +> *Theorem*: a point on the unit circle can also be described by +> +> $$ +> e^{i \varphi} = \cos \varphi + i \sin \varphi, +> $$ +> +> with $\varphi \in \mathbb{R}$. + +??? note "*Proof*:" + + Using the power-series of $e^x$ given by + + $$ + e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \frac{x^5}{5!} + \frac{x^6}{6!} + \frac{x^7}{7!} + \dots. + $$ + + Let $x = i \varphi$ obtains + + $$ + \begin{align*} + e^{i \varphi} &= 1 + i \varphi + \frac{(i \varphi)^2}{2!} + \frac{(i \varphi)^3}{3!} + \frac{(i \varphi)^4}{4!} + \frac{(i \varphi)^5}{5!} + \frac{(i \varphi)^6}{6!} + \frac{(i \varphi)^7}{7!} + \dots, \\ + &= 1 + i \varphi - \frac{\varphi^2}{2!} - \frac{i \varphi^3}{3!} + \frac{\varphi^4}{4!} + \frac{i \varphi^5}{5!} - \frac{\varphi^6}{6!} - \frac{i \varphi^7}{7!} + \dots, \\ + &= \Big(1 - \frac{\varphi^2}{2!} + \frac{\varphi^4}{4!} - \frac{\varphi^6}{6!} + \dots \Big) + i \Big(\varphi - \frac{\varphi^3}{3!} + \frac{\varphi^5}{5!} - \frac{\varphi^7}{7!} + \dots\Big), \\ + &= \cos \varphi + i \sin \varphi, + \end{align*} + $$ + + where in the last step the two terms are recognized as the Maclaurin series for $\cos \varphi$ and $\sin \varphi$. The rearrangement of terms is justified beceause each series is absolutely convergent. + +We may obtain Euler's identity given by $e^{i \pi} + 1 = 0$ from this theorem, by taking $\varphi = \pi$. + +> *Theorem*: for any $\varphi \in \mathbb{R}$ and $n \in \mathbb{N}$ it holds that +> +> $$ +> (\cos \varphi + i \sin \varphi)^n = \cos n \varphi + i \sin n \varphi, +> $$ +> +> known as de Moivre's theorem. + +??? note "*Proof*:" + + Let $\varphi \in \mathbb{R}$ and $n \in \mathbb{N}$, the proof follows from Euler's formula by taking + + $$ + (\cos \varphi + i \sin \varphi)^n = (e^{i \varphi})^n = e^{i \varphi n} = \cos n \varphi + i \sin n \varphi. + $$ + +With de Moivre's theorem the trigonometric identies can be derived. For example by taking $n=2$ let $z$ be a complex number given by + +$$ + z = (\cos \varphi + i \sin \varphi)^2 = \cos^2 \varphi - \sin^2 \varphi + 2i \cos \varphi \sin \varphi = \cos 2 \varphi + i \sin 2 \varphi, +$$ + +then $\mathrm{Re}(z) = \cos^2 \varphi - \sin^2 \varphi = \cos 2 \varphi$ and $\mathrm{Im}(z) = 2 \cos \varphi \sin \varphi = \sin 2 \varphi$. + +## Roots of polynomials + +> *Definition*: let $p$ be a complex polynomial of degree $n$ given by +> +> $$ +> p(z) = \alpha_0 + \alpha_1 z + \alpha_2 z^2 + \dots + \alpha_n z^n, +> $$ +> +> with $\alpha_i, z \in \mathbb{C}$ for $i \in \mathbb{N}$. + +If for a certain $z_0 \in \mathbb{C}$ we have $p(z_0) = 0$ then $z_0$ is called a *zero* of the polynomial. + +> *Lemma*: if $z_0 \in \mathbb{C}$ is a zero of $p$ then there exists a complex polynomial $q$ such that $p(z) = (z-z_0)q(z)$ for all $z \in \mathbb{C}$. + +??? note "*Proof*:" + + Will be added later. + +> *Theorem* **- Fundamental theorem of algebra**: for each $n^\text{th}$-degree complex polynomial $p$ with $n \in \mathbb{N}$ there are $n$ complex numbers $z_1, \dots, z_n$ such that $p(z) = \gamma (z - z_0)(z - z_1) \cdots (z - z_n)$ for all $z \in \mathbb{C}$. + +??? note "*Proof*:" + + Will be added later. + +> *Theorem*: each real polynomial can be written as a product of real linear factors and real quadratic factors with a negative discriminent. + +??? note "*Proof*:" + + Will be added later. + +From this theorem it follows that for a certain zero $z \in \mathbb{C}$ of a real polynomial $p$ its conjugate $\overline z$ is also a zero for the real polynomial $p$. Since $a = \overline a$ for $a \in \mathbb{R}$. \ No newline at end of file diff --git a/docs/en/mathematics/number-theory/integer-arithmetic.md b/docs/en/mathematics/number-theory/integer-arithmetic.md new file mode 100644 index 0000000..d93c859 --- /dev/null +++ b/docs/en/mathematics/number-theory/integer-arithmetic.md @@ -0,0 +1 @@ +# Integer arithmetic \ No newline at end of file diff --git a/docs/en/mathematics/number-theory/modular-arithmetic.md b/docs/en/mathematics/number-theory/modular-arithmetic.md new file mode 100644 index 0000000..098f877 --- /dev/null +++ b/docs/en/mathematics/number-theory/modular-arithmetic.md @@ -0,0 +1 @@ +# Modular arithmetic \ No newline at end of file diff --git a/docs/en/mathematics/start.md b/docs/en/mathematics/start.md index c7f0e78..fb70a20 100755 --- a/docs/en/mathematics/start.md +++ b/docs/en/mathematics/start.md @@ -2,17 +2,12 @@ Welcome to the mathematics page. Some special mathematical environments that will be used in this section are listed and explained below. -* *Principles*: not yet defined. -* *Definitions* : a precise and unambiguous description of the meaning of a mathematical term. It char- -acterizes the meaning of a word by giving all the properties and only those properties that must be -true. -* *Theorems* : a mathematical statement that is proved to be true using rigorous mathematical reasoning. In -a mathematical text, the term theorem is often reserved for the most important results. +* *Principles*: a fundamental rule or concept in mathematics serving as a basis for reasoning. +* *Definitions* : a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true. +* *Theorems* : a mathematical statement that is proved to be true using rigorous mathematical reasoning. In a mathematical text, the term theorem is often reserved for the most important results. * *Propositions* : an often interesting result, but generally less important than a theorem. -* *Lemmas* : a minor result whose purpose is to help in proving a theorem. It is a stepping stone on the path -to proving a theorem. -* *Corollaries* : a result in which the (usually short) proof relies heavily on a given theorem (we often say -that this is a corollary to Theorem A). +* *Lemmas* : a minor result whose purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. +* *Corollaries* : a result in which the proof relies heavily on a given theorem. * *Proofs* : a convincing argument that a certain mathematical statement is necessarily true. A proof generally uses deductive reasoning and logic but also contains some amount of ordinary language. * *Algorithms* : recipes to do calculations. @@ -21,5 +16,5 @@ The mathematics sections of this wiki are based on various books and lectures. A * The definitions of the special mathematical environments on this page and the sections of logic, set-theory and number-theory are based on the lectures and lecture notes of Hans Cuypers. * The section of calculus is based on the lectures of Luc Habets and the book Calculus by Robert Adams. -* The section of linear algebra is based on the lectures of Rik Kaasschieter and the book Linear Algebra by Steven Leon. +* The sections of linear algebra and complex numbers in number theory are based on the lectures and lecture notes of Rik Kaasschieter and the book Linear Algebra by Steven Leon. * The sections of multivariable calculus and ordinary differential equations are based on the lectures and lecture notes of Georg Prokert and the book Calculus by Robert Adams. diff --git a/docs/nl/index.md b/docs/nl/index.md index 6a6168c..6ead249 100755 --- a/docs/nl/index.md +++ b/docs/nl/index.md @@ -1,3 +1,5 @@ # Welkom Welkom op deze webpagina waarop ik mijn aantekeningen van verscheidene vakgebieden heb gedigitaliseerd. + +Geschreven door Luc Bijl. \ No newline at end of file