Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 2/latex
\setcounter{section}{2}
\subtitle {Quantifiers}
We consider again the propositions
\indenting{Martians are green} and \indenting{I eat a hat,}
and have a closer look at its structure
\extrabracket {we replace my hat by a hat} {} {.}
In the first statement, a certain property is assigned to a certain kind of creatures, like we say that cheetahs are fast and sloths are slow. By the statement, one can mean that Martians are \quotationshort{usually}{} or \quotationshort{almost always}{} green, or, strictly speaking, that really all Martians are green. In mathematics, one is interested in statements which are true without exceptions
\extrabracket {or that one can list the exceptions explicitly} {} {,}
so that we want to understand the statement in the strict sense. It is a \keyword {universal statement} {.} We have two \keyword {predicates} {}
\extrabracket {representing a property, an attribute} {} {,}
to be a Martian and to be green. A predicate $P$ is something what can be assigned to an object, an item, an element or not. A predicate alone is not a proposition; with the help of a predicate, there are two different ways to build a proposition, the first is by applying (inserting) it to a concrete object $a$ to get the statement
\mathdisp {P(a)} { , }
which means that the object $a$ has the property $P$, what might be true or not. The second way is by using a \keyword {quantifier} {.} In this way one can construct the statement that all\extrafootnote {Other formulations are: every, an arbitrary, any object or element from a given basic set. If this set has a spacial character, then we talk about everywhere, if it is time like then we talk about always, ...} {.} {} objects
\extrabracket {typically from a given basic set} {} {}
have the property $P$, what again might be true or false. This is expressed formally as
\mathdisp {\forall x P(x)} { . }
The symbol
\mathdisp {\forall} { }
is an abbreviation for \keyword {for all} {\extrafootnote {It is fair to say that the words \keyword {for all} {} and \keyword {there exists} {} are the most important words in mathematics} {.} {},} or \keyword {for every} {} and does not have any deeper meaning. It is called \keyword {universal quantifier} {.} The proposition about the Martians may be expressed by
\mathdisp {\forall x (M(x) \rightarrow G(x))} { . }
This means that for all objects without any restriction, the following holds: if it is a Martian, then it is green. For every $x$ we have an implication inside the wide bracket.
The second statement can mean that I eat exactly one hat or at least one hat. The meaning of the indefinite article is not unique. In mathematics, it usually means \keyword {at least one} {.} Hence, we can paraphrase by saying
\indenting{There exists a hat which I eat.}
This is an \keyword {existential proposition} {\extrafootnote {Beside the formulation \quotationshort{there exists}{} we have the formulations \quotationshort{there is}{,} \quotationshort{one can find}{.} If the existence of an object is known, then in a mathematical argumentation such an element is \quotationshort{just taken}{,} denoted somehow and worked with} {.} {.}}
A formal representation is
\mathdisp {\exists x (H(x) \wedge E(x))} { , }
where \mathl{H(x)}{} means that the object $x$ is a hat and where \mathl{E(x)}{} means that $x$ is eaten by me. One could also write
\mathdisp {\exists x (E(x) \wedge H(x))} { . }
The symbol
\mathdisp {\exists} { }
is called \keyword {existence quantifier} {.}
A universal proposition claims that a certain predicate holds for all objects (from a given set). Like all propositions, this might be true or false. A universal proposition is false if and only if there exists at least one object for which the predicate does not hold. Therefore the two quantifiers, the universal quantifier and the existence quantifier, can be expressed by one another with the help of the negation. We have the rules
\mathdisp {\neg ( \forall x P(x)) \text{ is equivalent with } \exists x ( \neg P(x))} { , }
\mathdisp {\neg ( \exists x P(x)) \text{ is equivalent with } \forall x ( \neg P(x))} { , }
\mathdisp {\forall x P(x) \text{ is equivalent with } \neg ( \exists x ( \neg P(x)))} { }
and
\mathdisp {\exists x P(x) \text{ is equivalent with } \neg ( \forall x ( \neg P(x)))} { . }
Apart from monadic predicates like \mathl{P(x)}{} there are also binary and multinary predicates of the form
\mathdisp {P(x,y) \text{ or } Q(x,y,z) \text{ etc. }} { }
which express a relation between several objects like \quotationshort{is related with}{,} \quotationshort{is larger than}{,} \quotationshort{are parents of}{} etc. Here one can quantify with respect to several variables, one has expressions like
\mathdisp {\forall x (\exists y P(x,y)),\, \exists x (\forall y P(x,y)) ,\, \forall x (\exists y (\forall z Q(x,y,z))) \text{ etc. }} { }
The name of the variable in a quantified statement is not important, it does not make a difference whether we write \mathl{\forall a P(a)}{} or \mathl{\forall t P(t)}{.} The only thing one has to take into account is that only names (letters) for variables are used which are not already used in the given context.
The logic which deals with quantified statements is called \keyword {predicate logic} {} or \keyword {quantificational logic} {.} We will not deal with it systematically, as it occurs in mathematics as set theory. Instead of \mathl{P(x)}{,} that a predicate is assigned to an object, we usually write
\mathrelationchain
{\relationchain
{ x
}
{ \in }{ P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
where $P$ is the set of all object which fulfil the property. Multinary predicates occur in mathematics as relations.
\subtitle {Numbers}
Without further justification, we may say that mathematics deals among other things with numbers. We work with the following sets, we assume that the students know these.
\mathrelationchaindisplay
{\relationchain
{\N
}
{ =} { \{0,1,2, \ldots \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
the set of \keyword {natural numbers} {} (including $0$).
\mathrelationchaindisplay
{\relationchain
{ \Z
}
{ =} {\{\ldots, -2,-1, 0,1,2, \ldots \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
the set of the \keyword {integers} {,}
\mathrelationchaindisplay
{\relationchain
{\Q
}
{ =} {{ \left\{ a/b \mid a \in \Z , \, b \in \Z \setminus \{0\} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
the set of the \keyword {rational numbers} {} and the set of the \keyword {real numbers} {} $\R$.
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Real_number_line.svg} }
\end{center}
\imagetext {} }
\imagelicense { Real number line.svg } {} {Phrood} {Commons} {PD} {}
These sets are endowed with their natural operations like addition and multiplication, we will recall its properties soon. We think of the real numbers as points on a line, on which all the described number sets lie. Also, one can think of $\R$ as the set of all sequences of digits in the decimal system (finitely many digits before the point, maybe infinitely many digits after the point). During the lecture we will encounter all the important properties of the real numbers, the so-called \keyword {axioms} {} of the real numbers, from which we can deduce all other properties in a logical way. Then we will be able to make our current viewpoint more precisely.
\subtitle {Induction}
The natural numbers have the characteristic property that one can reach every natural number starting from $0$ by just counting step by step \extrabracket {by taking the successor} {} {.} Therefore, mathematical statements which refer to the natural numbers can be proven with the proof principle \keyword {complete induction} {.} The following example is supposed to explain this scheme of argumentation.
\inputexample{}
{
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {4Geraden6Schnittpunkte.png} }
\end{center}
\imagetext {} }
\imagelicense { 4Geraden6Schnittpunkte.png } {} {Mgausmann} {CC-by-sa 4.0} {} {}
We consider in the plane $E$ a configuration of $n$ lines, and we ask ourselves what the maximal number of intersection points of such a configuration might be. It does not make a difference whether we think of the plane as $\R^2$
\extrabracket {a Cartesian plane with real coordinates} {} {,}
or simple of a plane in the sense of elementary geometry. The only important thing is that two lines either intersect in exactly one point, or they are parallel. If $n$ is small, it is easy to find the answer.
\valuetablesevenfromsubrows { $n$ }
{\mathrowandfive {0} {1} {2} {3} {4} }
{\mathrowandtwo {5} {n} }
{ $S(n)$ }
{\mathrowandfive {0} {0} {1} {3} {6} }
{\mathrowandtwo {?} {?} }
But as soon an $n$ gets a bit larger
\extrabracket {
\mathrelationchain
{\relationchain
{n
}
{ = }{5,10, \ldots
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{?}} {} {,}
the answer is not so clear anymore, as it gets very difficult to imagine the situation in a precise way. The imagination becomes just a rough idea of many lines with many intersection points, but it is not possible to draw any precise conclusion from this. A useful approach to understand the problem is to understand what may happen when we add a new line to a given line configuration, when instead of $n$ lines we consider $n+1$ lines. Suppose that, for some reason, we know what the maximal number of intersection points for $n$ lines is, maybe we have even a formula for this. If we then can understand how many new intersection points we may get by adding a new line, then we know the maximal number of intersection points for \mathl{n+1}{} lines.
Now, this passage is indeed easy to understand. The new line can at most intersect every old line in exactly one point, therefore at most $n$ new intersection points may occur. If we choose the new line in such a way that it is not parallel to any of the given lines
\extrabracket {what is possible since there are infinitely many directions} {} {}
and such that the intersection points of the new line do not coincide with old intersection points
\extrabracket {what is possible by possibly taking a line parallel to the direction found} {} {,}
we get exactly $n$ new intersection points. Hence, we deduce the
\extrabracket {preliminary} {} {}
formula
\mathrelationchaindisplay
{\relationchain
{ S(n+1)
}
{ =} { 1+2+3 + \cdots + n-2 + n-1 +n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
or
\mathrelationchaindisplay
{\relationchain
{ S(n)
}
{ =} { 1+2+3 + \cdots + n-3 + n-2 + n-1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so just the sum of the first $n-1$ natural numbers.
}
In the preceding example we are dealing with a sum where the number of summands is variable. For such a situation, the \keyword {sum sign} {}(or \keyword {sigma sign} {}) is appropriate. For given real numbers \mathl{a_1 , \ldots , a_n}{} we define
\mathrelationchaindisplay
{\relationchain
{ \sum_{k = 1}^n a_k
}
{ \defeq} { a_1 + a_2 + \cdots + a_{n-1} + a_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In general, the $a_k$ depend in some way
\extrabracket {say, by a formula} {} {}
on $k$, in the example we just have
\mathrelationchain
{\relationchain
{ a_k
}
{ = }{ k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
but it could also be something like
\mathrelationchain
{\relationchain
{ a_k
}
{ = }{ 2k+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
or
\mathrelationchain
{\relationchain
{a_k
}
{ = }{ k^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
The $k$-th summand in the sum is $a_k$, the number $k$ is called the \keyword {index} {} of the summand. Accordingly, the \keyword {product sign} {} is defined by
\mathrelationchaindisplay
{\relationchain
{ \prod_{k = 1}^n a_k
}
{ \defeq} { a_1 \cdot a_2 \cdots a_{n-1} \cdot a_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputexample{}
{
We would like to find an easy formula for the sum of the first $n$ natural numbers, which equals the maximal number of intersection points of a configuration of $n+1$ lines. We claim that
\mathrelationchaindisplay
{\relationchain
{ \sum_{k = 1}^n k
}
{ =} { { \frac{ n(n+1) }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
holds. For small numbers $n$, this is easy to check just by computing the left-hand and the right-hand side. To prove the identity in general, we try to understand what happens on the left and on the right, if we increase $n$ to $n+1$, like we have added in
Example 2.1
another line to a line configuration. On the left-hand side, we just have the additional summand $n+1$. On the right-hand side, we go from \mathl{{ \frac{ n(n+1) }{ 2 } }}{} to \mathl{{ \frac{ (n+1)(n+1+1) }{ 2 } }}{.} If we can show that the difference between these fractions is \mathl{n+1}{,} then the right-hand side behaves like the left-hand side. Then we can conclude: the identity holds for small $n$, say for
\mathrelationchain
{\relationchain
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
By comparing the differences, it also holds for the next $n$, so it holds for
\mathrelationchain
{\relationchain
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
then again for the next $n$ and so on. Since this argument always works, and since one arrives at every natural number by taking the successor again and again, the formula holds for every natural number.
}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Domen-indukto.gif} }
\end{center}
\imagetext {A visualisation of the induction principle. If the stones are close enough to each other and the first stone falls, then all stones will fall.} }
\imagelicense { Domen-indukto.gif } {} {Joachim Mohr} {Commons} {CC-by-sa 3.0} {}
The following statement gives the foundation for the principle of complete induction.
\inputfaktbeweis
{Natural numbers/Proofs/Induction principle/Fact}
{Theorem}
{}
{
\factsituation {Suppose that for every
natural number
$n$ a statement \mathl{A(n)}{} is given.}
\factcondition {Suppose further that the following conditions are fulfilled.
\enumerationtwo {$A(0)$ is true.
} {For all $n$ we have: if \mathl{A(n)}{} holds, then also \mathl{A(n+1)}{} holds.
}}
\factconclusion {Then \mathl{A(n)}{} holds for all $n$.}
\factextra {}
}
{
Due to the first condition, \mathl{A(0)}{} holds. Due to the second condition, we get that also \mathl{A(1)}{} holds. Therefore also \mathl{A(2)}{} holds. Therefore also \mathl{A(3)}{} holds. Because we can move on step by step and reach every natural number, we conclude that the statement \mathl{A(n)}{} holds for every natural number $n$
The verification of \mathl{A(0)}{} is called the \keyword {base case} {,} and the conclusion from \mathl{A(n)}{} to \mathl{A(n+1)}{} is called the \keyword {induction step} {.} Within the induction step, the validity of $A(n)$ is called the \keyword {induction hypothesis} {.} In some situations, the statement \mathl{A(n)}{} is only valid
\extrabracket {or defined} {} {}
for
\mathrelationchain
{\relationchain
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for a certain $n_0$. Then the base case is the statement \mathl{A(n_0)}{} and the induction step has to be done for
\mathrelationchain
{\relationchain
{n
}
{ \geq }{n_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
We prove now the equality
\mathrelationchaindisplay
{\relationchain
{ \sum_{k = 1}^n k
}
{ =} { { \frac{ n(n+1) }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
by induction.
The base case is for
\mathrelationchain
{\relationchain
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
here the sum on the left consists of just one summand, which is $1$, and so the sum equals $1$. The right-hand side is
\mathrelationchain
{\relationchain
{ { \frac{ 1 \cdot 2 }{ 2 } }
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so the formula holds for
\mathrelationchain
{\relationchain
{n
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
For the induction step we assume that the formula holds for some
\mathrelationchain
{\relationchain
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
We have then to show that the formula also holds for \mathl{n+1}{.} Here $n$ is arbitrary. We have
\mathrelationchainalign
{\relationchainalign
{ \sum_{k = 1}^{n+1} k
}
{ =} { { \left( \sum_{k = 1}^{n} k \right) } + n+1
}
{ =} { { \frac{ n(n+1) }{ 2 } } + n+1
}
{ =} { { \frac{ n(n+1) +2(n+1) }{ 2 } }
}
{ =} { { \frac{ (n+2)(n+1) }{ 2 } }
}
}
{}
{}{.}
In the second equation, we have used the induction hypothesis. The last term is the right hand side of the formula for \mathl{n+1}{,} so the formula is proven.
\inputremark {}
{
Proofs by induction occur again and again. The condition, that this method of proof can be applied, is that we have a scheme of statements, which depend on the \extrabracket {variable} {} {} natural number $n$. This natural number $n$ is called the \keyword {induction variable} {,} we do induction over the induction variable $n$. In the statement itself, arbitrary mathematical objects may occur and the natural number $n$ can have many different meanings. It can be the exponent of a real number \extrabracket {see Theorem 4.11 or Theorem 5.11 } {} {,} the degree of a polynomial \extrabracket {as in Theorem 6.3 } {} {,} the degree of differentiability \extrabracket {see Exercise 15.17 } {} {} or the number of vectors \extrabracket {as in Lemma 27.14 } {} {.}
}
\subtitle {Prime factorization}
As a further example for the principle of induction, we prove the existence of prime factorization for natural numbers.
\inputdefinition
{ }
{
A
natural number
\mathrelationchain
{\relationchain
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is called a \definitionword {prime number}{} if it is only
divisible
}
\inputfaktbeweis
{Prime factorization/Existence/Fact}
{Theorem}
{}
{
\factsituation {}
\factconclusion {Every
natural number
\mathcond {n \in \N} {}
{n \geq 2} {}
{} {} {} {,}
has a factorization into prime numbers.}
\factextra {That means there exists a representation
\mathrelationchaindisplay
{\relationchain
{n
}
{ =} {p_1 \cdot p_2 \cdots p_r
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
with
prime numbers
$p_i$.}
}
{
We prove the existence by induction over $n$, and we consider the statement $A(n)$ saying that every natural number $m$ with
\mathrelationchain
{\relationchain
{2
}
{ \leq }{m
}
{ \leq }{n
}
{ }{
}
{ }{
}
}
{}{}{}
has a prime factorization. For
\mathrelationchain
{\relationchain
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we have a prime number. So suppose that
\mathrelationchain
{\relationchain
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and assume that, by the induction hypothesis, every number
\mathrelationchain
{\relationchain
{m
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
has a prime factorization. We have to show that every number
\mathrelationchain
{\relationchain
{m
}
{ \leq }{n+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
has a prime factorization. The only new number to consider is $n+1$. In the proof of this induction step, another important proof scheme occurs, the \keyword {proof by cases} {.} Here one argues depending on whether an additional property holds or not, and in both cases one has to prove the result.
Here we consider the cases whether $n+1$ is a prime number or not. If $n+1$ is a prime number, then we have immediately the prime factorization, just take the number itself. In this case we do not even use the induction hypothesis.
So now we consider the case where $n+1$ is not prime. This means that there exists a non-trivial decomposition
\mathrelationchain
{\relationchain
{n+1
}
{ = }{ab
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with smaller numbers
\mathrelationchain
{\relationchain
{a,b
}
{ < }{n+1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
For these numbers
\mathcor {} {a} {and} {b} {,}
there exist, due to the induction hypothesis, factorizations into prime numbers, and we can put these together to gain a prime factorization of $n+1$.
It is also true that the prime factorization is unique, but this we have not proved. This statement is called the fundamental theorem of arithmetic.
\inputremark {}
{
Closely related with induction is the principle of \keyword {recursive definition} {.} Here, one would like to define for every natural number $n$ a mathematical expression. This can be done by assigning to $0$ explicitly an expression and to describe how the expression for $n+1$ might be computed from the expression for $n$. This rule is called the recursive step. The inductive structure of the natural numbers ensures that for every natural number a unique expression is determined. For example, one can define an expression \mathl{F(n)}{} by the initial step
\mathrelationchaindisplay
{\relationchain
{F(0)
}
{ \defeq} {7
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
and the recursive step
\mathrelationchaindisplay
{\relationchain
{F(n+1)
}
{ \defeq} { F(n) \cdot n -n^2+3
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}