Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4
- Operations
We consider the mathematical operations addition and multiplication, within the real numbers, as mappings
so we assign to each pair
the real number (and respectively). Such a mapping is called an operation.
Definition
An operation (or binary operation) on a set is a mapping
- Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikiversity.org/v1/":): {\displaystyle \circ \colon M\times M \longrightarrow M , (x,y) \longmapsto \circ(x,y) <table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ x \circ y . }
The domain of an operation is thus the product set of with itself, and the range is also . Addition, multiplication and subtraction (on , on , or on ) are operations. On and , the division is not an operation, since it is not defined in case the second component equals . However, the division is an operation on .
- Axioms
In mathematics, we encounter many structures which occur again and again. E.g., the rational numbers and the real numbers share many common properties, but they also differ in regard with certain other properties. This observation is the fundament for the axiomatic approach to mathematics. In this approach, one puts several structural properties which appear in a certain context consistently into a new concept. The goal of this is to infer in a logical way further properties from basic properties. The argumentation does then not take place on the level of specific familiar examples like the real numbers, but on the level of the properties themselves in a logical-deductive manner. The gain of this method is that one has to do the mathematical conclusions only once on the abstract level of the properties, and these conclusions hold then for all models which fulfill the basic properties. At the same time, one recognizes logical dependencies and hierarchies between the properties. Basic properties of mathematical structures are called axioms.
In the axiomatic approach, the properties (their principles and rules) are in the center. Mathematical objects which obey these rules are then examples or models for these concepts. In particular, one chooses properties which, on one hand, are easy to formulate, and which, on the other hand, allow strong conclusions. The advantages of this approach are the following items.
- The mathematical objects are based on a set-theoretical-logical foundation, there is no need to rely on intuitive assumptions.
- It is always clear which argumentation to establish a certain property is allowed: only the logical deduction of the property from the axioms.
- Fundamental properties are stressed and get an important place. One develops a hierarchy between fundamental properties and deduced properties.
- Structural similarities become visible, which are not visible from an intuitive standpoint.
- Many statements which can be deduced from an axiomatic system do not need the complete axiomatic system, only some part of it. Therefore, it is possible to group the axioms into smaller units. If one can deduce the statement from a subset of the axioms, the statement is then true for every mathematical object which fulfils only this subset.
- By giving "counter-examples“ one can show that certain properties do not follow from certain other properties.
- This approach is economically efficient as it avoids the repetition of conclusions.
As disadvantages, one can consider the following items.
- huge conceptual effort.
- Abstract, sometimes formal and counter-intuitive procedure.
- Seemingly "trivial properties“ need a justification if they are not explicitly listed in the axiomatic system.
- Fields
We are going to describe the properties of the real numbers within an axiomatic framework. The axioms for the real numbers fall into three kinds: algebraic axioms, axioms for the ordering and the completeness axiom. The algebraic axioms are put together in the concept of a field. By algebraic properties, we mean properties which refer to the operations of computations, like addition, subtraction, multiplication and division. These operations assign to two elements of a given set (like the set of real numbers) another element of this set, they are binary operations. The following definition uses only two operations, namely addition and multiplication, subtraction and division will be treated as derived operations.
Definition
A set is called a field if there are two binary operations (called addition and multiplication)
and two different elements , which fulfill the following properties.
- Axioms for the addition:
- Law of associativity: holds for all .
- Law of commutativity: holds for all .
- is the neutral element of the addition, i.e. holds for all .
- Existence of the negative: For every , there exists an element with .
- Axioms of the multiplication:
- Law of associativity: holds for all .
- Law of commutativity: holds for all .
- is the neutral element for the multiplication, i.e. holds for all .
- Existence of the inverse: For every with , there exists an element such that .
- Law of distributivity: holds for all .
It is known from school that all these axioms hold for the real numbers (and for the rational numbers) together with the natural operations.
In a field, we use the convention that multiplication connects stronger than addition. Hence, we write instead of . To further simplify the notation, the product sign is usually omitted. The special elements and in a field are called (the) zero and (the) one. By definition, they have to be different.
For us, the most important examples for a field are the field of rational numbers, the field of real numbers and the field of complex numbers (to be introduced later).
Lemma
Suppose is a field. Then for every element the element fulfilling is uniquely determined. For the element fulfilling is also uniquely determined.
Proof
Let be given and suppose that and are elements fulfilling . Then
which means altogether . For the second part see Exercise 4.3 .
Example
We are trying to find a structure of a field on the set . If is supposed to be the neutral element of the addition and the neutral element of the multiplication, then everything is already determined: The equation must hold, since has an inverse element with respect to the addition, and since holds, due to Lemma 5.5 . Hence the operation tables look like
and
With some tedious computations, one can check that this is indeed a field.
Lemma
Let be a field,
and let denote elements from . Then the following statements hold.- (annulation rule).
(rules for sign).
- From one can deduce or .
- (general law of distributivity).
Proof
- We have . Subtracting (meaning addition with the negative of ) on both sides gives the claim.
- See Exercise 4.4 .
- See Exercise 4.4 .
- See Exercise 4.4 .
- We prove this by contradiction, so we assume that
and
are both not . Then there exist inverse elements
and
and hence
.
On the other hand, we have
by the premise and so the annulation rule gives
hence , which contradicts the field properties.
- This follows with a double induction, see Exercise 4.22 .
- Proof by contradiction
We have just given a proof by contradiction, we want to illustrate this method by further examples.
We give two classical examples for a proof by contradiction.
Theorem
There does not exist a rational number such that its square equals . This means that the real number is irrational.
Proof
We make the assumption that there exists some rational number whose square equals , and we have to derive a contradiction from this. Our assumption means the existence of
fulfilling the property
A rational number can be written as a fraction, where numerator and denominator are integers. Hence, the rational number has the form
Moreover, we can suppose that this fraction has been reduced to its lowest terms, so that the greatest common divisor of and is . In fact it is enough to suppose that at least one of and are odd (if both are even we can divide both by until one gets odd). The property
means then
Multiplication by yields
(this is an equation in and even in ). This equation means that is even, since is a multiple of . This implies that itself is even, because the square of an odd number is again odd. Therefore, we can write
with an integer . Putting this into the equation, we deduce
Dividing both sides by we obtain
Hence, also is even and so is even. But this is a contradiction, as and are not both even.
The following theorem is called Theorem of Euclid.
Theorem
There exist infinitely many prime numbers.
Proof
We assume that the set of all prime numbers is finite, say is a complete list of all prime numbers. We consider the number
This number can not be divided by any of the prime numbers , since the reminder of by division through is always . Hence, the prime factors of , which exist due to Theorem 2.6 , are not contained in the given set. This is a contradiction.
- The binomial theorem
Definition
For a natural number , one puts
We put
Definition
Let and denote natural numbers with . Then
One can write this fraction also as
because th factors from are also in . In this representation, we have the same number of factors in the numerator and in the denominator. Sometimes it is useful to allow also negative or and define in these cases the binomial coefficients to be .
From the very definition, it is not immediately clear that the binomial coefficients are natural numbers. This follows from the following relationship.
The following formula brings addition and multiplication together in some sense.
Theorem
Proof
We do induction over . For we have on one hand and on the other hand as well. Suppose now that the statement is true for . Then
- Failed to parse (unknown function "\begin{align}"): {\displaystyle {{}} \begin{align} (a+b)^{n+1} & = (a+b) (a+b)^n \\ & = (a+b) { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) } \\ & = a { \left( \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) } + b { \left( \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) } \\ & = \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 0 } ^{ n } \binom { n } { k } a^{k+1} b^{n - k} + \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 0 } ^{ n } \binom { n } { k } a^{k} b^{n - k+1} \\ & = \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 1 } ^{ n+1 } \binom { n } { k-1 } a^{k} b^{n - k+1} + \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 0 } ^{ n+1 } \binom { n } { k } a^{k} b^{n - k+1} \\ & = \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 1 } ^{ n+1 } { \left( \binom { n } { k-1 } + \binom { n } { k } \right) } a^{k} b^{n+1 - k} + b^{n+1} \\ & = \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 1 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} + b^{n+1} \\ & = \sum_{ k<table class="metadata plainlinks ambox ambox-notice" style=""> <tr> <td class="mbox-image"><div style="width: 52px;"> [[File:Wikiversity logo 2017.svg|50px|link=]]</div></td> <td class="mbox-text" style=""> '''[[m:Soft redirect|Soft redirect]]'''<br />This page can be found at <span id="SoftRedirect">[[mw:Help:Magic words#Other]]</span>. </td> </tr> </table>[[Category:Wikiversity soft redirects|Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4]] __NOINDEX__ 0 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} . \end{align} }
Remark
For the binomial coefficient
there is an important interpretation. It describes the number of subsets with exactly elements inside a set with elements. For example, within a set with elements there are exactly
subsets with elements. The inverse of this number is the probability to get at the lotto all six numbers right.
<< | Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I | >> PDF-version of this lecture Exercise sheet for this lecture (PDF) |
---|