Sergei Yakovenko's blog: on Math and Teaching

Monday, November 7, 2016

Lecture 1 (Nov 7, 2016)

Crash course on linear algebra and multivariate calculus

Real numbers as complete ordered field. Finite dimensional linear spaces over \mathbb R. Linear maps. Linear functionals, the dual space. Linear operators (self-maps of linear space), invertibility via determinant. Affine maps, affine spaces.

Polynomial nonlinear maps and functions, re-expansion as a tool to construct linear (affine) approximation. Differential. Differentiability of maps, smoothness of functions.

Inverse function theorem.

Vector fields, parameterized curves, differential equations.

The first set of notes is available here here.

Tuesday, November 3, 2015

Lecture 2, Nov 3, 2015

Real numbers

There are certain situations when the rational numbers are apparently not sufficient: for instance, the function f(x)=x^2-2 is negative at x=0, positive at x=2 but does not take the intermediate value zero: \forall x\in\mathbb Q\ f(x)\ne 0. Another situation concerns the possibility to define the notions of supremum and infimum for infinite sets: the set A=\{x\in\mathbb Q: x^2<2\} is bounded from two sides, but among its upper bounds B=\{b\in\mathbb Q:\ \forall a\in A\ a\leqslant b\} there is no minimal one.

The idea is to adjoin to \mathbb Q solutions of infinitely many inequalities.

For any rational number a\in\mathbb Q one can associate two subsets L,R\subset\mathbb Q as follows: L=\{l\in \mathbb Q: l\le a\} and R=\{r\in\mathbb Q: a\le r\}. Then the number a is the unique solution to the infinite system of inequalities of the form l\le x\le r for different choices of l\in L,\ r\in R. This system has the following two features:

  1. it is self-consistent (non-contradictory): any lower bound l is no greater than any upper bound r, i.e., L\le R, and
  2. it is maximal: together the two sets give \mathbb Q=L\cup R, and none of the sets can be enlarged without violating the first condition.

A (Dedekind) cut is any pair of subsets L,R\subseteq\mathbb Q satisfying the two conditions above.

If a rational number a\in\mathbb Q satisfies all the inqualities l\le a,\ a\le r for all l\in L,\ r\in R, then we call it a root (or a solution) of the cut. Every rational number is the solution to some cut \alpha=(L,R) as above, and this happens if and only if L\cap R=\{a\}. Yet not all cuts have rational solutions (give an example!).

We can associate cuts without rational solutions with “missing” numbers which we want to adjoin to \mathbb Q. For this purpose we have to show how cuts can be ordered (in a way compatible with the order on \mathbb Q) and how arithmetic operations can be performed on cuts.

Order on cuts

Let \alpha=(L,R),\ \beta=(L',R') be two different cuts. We declare that \alpha\triangleleft\beta, if L\cap R'\ne\varnothing, i.e., if there is a rational number a\in\mathbb Q that is at the same time an upper bound for the cut \alpha and a lower bound for the cut \beta. If both cuts have rational solutions, this number would be squeezed between these solutions. In the similar way we define the opposite order \alpha\triangleright\beta if and only if L'\cap R\ne\varnothing.

To see that this definition is indeed a complete order, we need to check that for any two cuts \alpha,\beta one and only one of the three possibilities holds: \alpha\triangleleft\beta,\ \alpha\triangleright\beta or \alpha=\beta (meaning that L=L',R=R'). This is a routine check: if the first two possibilities are excluded, then L\cap R'=L'\cap R=\varnothing, and therefore (L\cup L', R\cup R') is a self-consistent cut. But because of the maximality condition, this means that L\cup L'=L=L' and R\cup R'=R=R', that is, \alpha=\beta.

Arithmetic operations on cuts

If \alpha=(L,R),\ \beta=(L',R') are two cuts which have rational solutions a,b, then these solutions satisfy inequalities L\le a\le R,\ L'\le b\le R' (check that you understand the meaning of this inequality between sets and numbers ;-)!) Adding these inequalities together means that c=a+b satisfies the infinite system of inequalities L+L'\le c\le R+R', where L+L' stands for the so called Minkowski sum L+L'=\{l+l':\ l\in L,\ l'\in L'\} (the same for R+R'). This allows to define the summation on cuts.

The sum of two cuts \alpha=(L,R),\beta=(L',R') is the cut \gamma=(L+L',R+R') with the Minkowski sum in the right hand side.

To define the difference, we first define the cut -\alpha as follows, -\alpha=(-R,-L), where (of course!) -L=\{-l: l\in L\},\ -R=\{-r: r\in R\}. Note that the upper and lower bounds exchanged their roles, since multiplication by -1 changes the direction (sense) of the inequalities. Then we can safely define \alpha-\beta as \alpha + (-\beta). Again, one has to check that this definition is well-behaving and all arithmetic properties are preserved.

To define multiplication, one has to exercise additional care and start with multiplication between positive cuts \alpha,\beta\triangleright 0 (do it yourselves!) and then extend it for negative cuts and the zero cut. After introducing this definition, one has to make a lot of trivial checks:

  1. that for cuts having rational solutions, we get precisely what we expected, that is, the new operation agrees with the old one on the rational numbers,
  2. that they have the same algebraic properties (associativity, distributivity, commutativity etc) as we had for the rational numbers,
  3. that they agree with the order that we introduced earlier exactly as this was the case with the rational numbers,
  4. … … …. …. …

Of course, nobody ever wrote the formal proofs of these endless properties! (Life is short and one should not waste it for nothing). Yet every mathematician can certainly provide a formal proof for any of them, and nobody of countless students who passed through this ordeal ever voiced any concern about validity of these endless nanotheorems. So wouldn’t we.

Achievement of the stated goals

Once we constructed the extension of the rational numbers by all cuts and denote the result \mathbb R and call it the set of real numbers, one has to verify that all the problems we started with, were actually resolved. There is a number of theorems about the real numbers that look dull and self-evident unless we know that a heavy price had to be paid for that. Namely, we can guarantee that:

  1. Any subset A\subset\mathbb R which admits at least one upper bound, admits the minimal upper bound called \sup A=\sup_{a\in A}a (and, of course, the analogous statement holds for \inf A).
  2. If \varnothing\ne I_k=[a_k,b_k]\subseteq\mathbb R is a family of nested nonempty closed intervals, I_1\supseteq I_2\supseteq I_3\supseteq\cdots, then the intersection I_\infty=\bigcap_{k=1}^\infty I_k is also nonempty.
  3. Any function f:[a,b]\to\mathbb R continuous on the closed segment [a,b], takes any intermediate value between f(a) and f(b).

For more detailed exposition, read the lecture notes here.

Sunday, December 4, 2011

Lectures 4-7, Nov. 15, 22, 29 and Dec. 6

Construction of real numbers

The idea of extending the number system from the set of rational numbers \mathbb Q by adjoining roots of polynomial equations is very interesting, but faces obvious difficulties: we need to treat all possible polynomial equations, and this still give us no guarantees whatsoever that transcendental equations (trigonometric, exponential etc). will be solvable when we expect them to be.

The alternative is to extend the set of rationals by adding “solutions to systems of inequalities”. In order for such a system to represent a unique “new” number, the equations need to be consistent (compatible between themselves) and possess some uniqueness property.

These two requirements can be implemented by consideration of the so called Dedekind cuts, which can be informally considered as sets of rational “approximations” (lower and upper) for the missing number.

In the lectures we pursue this strategy and explain how the cuts can be compared, how arithmetic operations on the cuts can be defined and why the addition of all possible cuts results in a “complete” number system.

The detailed exposition, as before, is downloadable as a pdf file. Please take a time to signal (in the comments to this post or by any other way) about all errors, inevitable in the first draft.

Tuesday, November 10, 2009

Lecture 2 (Thu, Nov 12, 13:30 – 16:30)

Existence of limits and completeness of the real numbers system

  • Monotonicity and its implications.
  • Nested intervals and their common point
  • Boundedness as another property stable by finite alterations
  • Converging subsequense of  a bounded sequence
  • But why we are so sure that there are no gaps on the real line? And what is a real line?

Construction of the number system: from natural numbers toward scary numbers

  • Completion by algebraic operations: from \mathbb N to \mathbb Q via \mathbb Z. Everything you need to solve linear equations
  • Problems  with quadratic equations: irrationalities and negative discriminants. An idea of algebraic number.
  • Problems with transition to limit: the ubiquitous \pi and much, much more
  • Infinite decimal fractions: completion by “adding limits of monotone sequences”.
  • Operations with real numbers: ordered field. Completeness “axiom”.

Blog at