Differentiability of multivariable real functions (part1)

This article provides counterexamples about differentiability of functions of several real variables. We focus on real functions of two real variables (defined on \(\mathbb R^2\)). \(\mathbb R^2\) and \(\mathbb R\) are equipped with their respective Euclidean norms denoted by \(\Vert \cdot \Vert\) and \(\vert \cdot \vert\), i.e. the absolute value for \(\mathbb R\).

We recall some definitions and theorems about differentiability of functions of several real variables.

Definition 1 We say that a function \(f : \mathbb R^2 \to \mathbb R\) is differentiable at \(\mathbf{a} \in \mathbb R^2\) if it exists a (continuous) linear map \(\nabla f(\mathbf{a}) : \mathbb R^2 \to \mathbb R\) with \[\lim\limits_{\mathbf{h} \to 0} \frac{f(\mathbf{a}+\mathbf{h})-f(\mathbf{a})-\nabla f(\mathbf{a}).\mathbf{h}}{\Vert \mathbf{h} \Vert} = 0\]

Definition 2 Let \(f : \mathbb R^n \to \mathbb R\) be a real-valued function. Then the \(\mathbf{i^{th}}\) partial derivative at point \(\mathbf{a}\) is the real number
\begin{align*}
\frac{\partial f}{\partial x_i}(\mathbf{a}) &= \lim\limits_{h \to 0} \frac{f(\mathbf{a}+h \mathbf{e_i})- f(\mathbf{a})}{h}\\
&= \lim\limits_{h \to 0} \frac{f(a_1,\dots,a_{i-1},a_i+h,a_{i+1},\dots,a_n) – f(a_1,\dots,a_{i-1},a_i,a_{i+1},\dots,a_n)}{h}
\end{align*} For two real variable functions, \(\frac{\partial f}{\partial x}(x,y)\) and \(\frac{\partial f}{\partial y}(x,y)\) will denote the partial derivatives.

Definition 3 Let \(f : \mathbb R^n \to \mathbb R\) be a real-valued function. The directional derivative of \(f\) along vector \(\mathbf{v}\) at point \(\mathbf{a}\) is the real \[\nabla_{\mathbf{v}}f(\mathbf{a}) = \lim\limits_{h \to 0} \frac{f(\mathbf{a}+h \mathbf{v})- f(\mathbf{a})}{h}\] Continue reading Differentiability of multivariable real functions (part1)

Two non similar matrices having same minimal and characteristic polynomials

Consider a square matrix \(A\) of dimension \(n \ge 1\) over a field \(\mathbb F\), i.e. \(A \in \mathcal M_n(\mathbb F)\). Results discuss below are true for any field \(\mathbb F\), in particular for \(\mathbb F = \mathbb R\) or \(\mathbb F = \mathbb C\).

A polynomial \(P \in \mathbb F[X]\) is called a vanishing polynomial for \(A\) if \(P(A) = 0\). If the matrix \(B\) is similar to \(B\) (which means that \(B=Q^{-1} A Q\) for some invertible matrix \(Q\)), and the polynomial \(P\) vanishes at \(A\) then \(P\) also vanishes at \(B\). This is easy to prove as we have \(P(B)=P(Q^{-1} A Q)=Q^{-1} P(A) Q\).

In particular, two similar matrices have the same minimal and characteristic polynomials.

Is the converse true? Are two matrices having the same minimal and characteristic polynomials similar? Continue reading Two non similar matrices having same minimal and characteristic polynomials

A counterexample to Krein-Milman theorem

In the theory of functional analysis, the Krein-Milman theorem states that for a separated locally convex topological vector space \(X\), a compact convex subset \(K\) is the closed convex hull of its extreme points.

For the reminder, an extreme point of a convex set \(S\) is a point in \(S\) which does not lie in any open line segment joining two points of S. A point \(p \in S\) is an extreme point of \(S\) if and only if \(S \setminus \{p\}\) is still convex.

In particular, according to the Krein-Milman theorem, a non-empty compact convex set has a non-empty set of extreme points. Let see what happens if we weaken some hypothesis of Krein-Milman theorem. Continue reading A counterexample to Krein-Milman theorem

Continuity of multivariable real functions

This article provides counterexamples about continuity of functions of several real variables. In addition the article discusses the cases of functions of two real variables (defined on \(\mathbb R^2\) having real values. \(\mathbb R^2\) and \(\mathbb R\) are equipped with their respective Euclidean norms denoted by \(\Vert \cdot \Vert\) and \(\vert \cdot \vert\), i.e. the absolute value for \(\mathbb R\).

We recall that a function \(f\) defined from \(\mathbb R^2\) to \(\mathbb R\) is continuous at \((x_0,y_0) \in \mathbb R^2\) if for any \(\epsilon > 0\), there exists \(\delta > 0\), such that \(\Vert (x,y) -(x_0,y_0) \Vert < \delta \Rightarrow \vert f(x,y) - f(x_0,y_0) \vert < \epsilon\). Continue reading Continuity of multivariable real functions

A simple group whose order is not a prime

Consider a finite group \(G\) whose order (number of elements) is a prime number. It is well known that \(G\) is cyclic and simple. Which means that \(G\) has no non trivial normal subgroup.

Is the converse true, i.e. are the cyclic groups with prime orders the only simple groups? The answer is negative. We prove here that for \(n \ge 5\) the alternating group \(A_n\) is simple. In particular \(A_5\) whose order is equal to \(60\) is simple. Continue reading A simple group whose order is not a prime

Two algebraically complemented subspaces that are not topologically complemented

We give here an example of a two complemented subspaces \(A\) and \(B\) that are not topologically complemented.

For this, we consider a vector space of infinite dimension equipped with an inner product. We also suppose that \(E\) is separable. Hence, \(E\) has an orthonormal basis \((e_n)_{n \in \mathbb N}\).

Let \(a_n=e_{2n}\) and \(b_n=e_{2n}+\frac{1}{2n+1} e_{2n+1}\). We denote \(A\) and \(B\) the closures of the linear subspaces generated by the vectors \((a_n)\) and \((b_n)\) respectively. We consider \(F=A+B\) and prove that \(A\) and \(B\) are complemented subspaces in \(F\), but not topologically complemented. Continue reading Two algebraically complemented subspaces that are not topologically complemented

Counterexamples on function limits (part 1)

Let \(f\) and \(g\) be two real functions and \(a \in \mathbb R \cup \{+\infty\}\). We provide here examples and counterexamples regarding the limits of \(f\) and \(g\).

If \(f\) has a limit as \(x\) tends to \(a\) then \(\vert f \vert\) also?

This is true. It is a consequence of the reverse triangle inequality \[\left\vert \vert f(x) \vert – \vert l \vert \right\vert \le \vert f(x) – l \vert\] Hence if \(\displaystyle \lim\limits_{x \to a} f(x) = l\), \(\displaystyle \lim\limits_{x \to a} \vert f(x) \vert = \vert l \vert\)

Is the converse of previous statement also true?

It is not. Consider the function defined by: \[\begin{array}{l|rcl}
f : & \mathbb R & \longrightarrow & \mathbb R \\
& \frac{1}{n} & \longmapsto & -1 \text{ for } n \ge 1 \text{ integer} \\
& x & \longmapsto & 1 \text{ otherwise} \end{array}\] \(\vert f \vert\) is the constant function equal to \(1\), hence \(\vert f \vert\) has \(1\) for limit as \(x\) tends to zero. However \(\lim\limits_{x \to 0} f(x)\) doesn’t exist. Continue reading Counterexamples on function limits (part 1)

The skew field of Hamilton’s quaternions

We give here an example of a division ring which is not commutative. According to Wedderburn theorem every finite division ring is commutative. So we must turn to infinite division rings to find a non-commutative one, i.e. a skew field.

Let’s introduce the skew field of the Hamilton’s quaternions \[\mathbb H = \left\{\begin{pmatrix}
u & -\overline{v} \\
v & \overline{u}
\end{pmatrix} \ | \ u,v \in \mathbb C\right\}\] Continue reading The skew field of Hamilton’s quaternions

A homeomorphism of the unit ball having no fixed point

Let’s recall Brouwer fixed-point theorem.

Theorem (Brouwer): Every continuous function from a convex compact subset \(K\) of a Euclidean space to \(K\) itself has a fixed point.

We here describe an example of a homeomorphism of the unit ball of a Hilbert space having no fixed point. Let \(E\) be a separable Hilbert space with \((e_n)_{n \in \mathbb{Z}}\) as a Hilbert basis. \(B\) and \(S\) are respectively \(E\) closed unit ball and unit sphere.

There is a unique linear map \(u : E \to E\) for which \(u(e_n)=e_{n+1}\) for all \(n \in \mathbb{Z}\). For \(x = \sum_{n \in \mathbb{Z}} \xi_n e_n \in E\) we have \(u(x)= \sum_{n \in \mathbb{Z}} \xi_n e_{n+1}\). \(u\) is isometric as \[\Vert u(x) \Vert^2 = \sum_{n \in \mathbb{Z}} \vert \xi_n \vert^2 = \Vert x \Vert^2\] hence one-to-one. \(u\) is also onto as for \(x = \sum_{n \in \mathbb{Z}} \xi_n e_n \in E\), \(\sum_{n \in \mathbb{Z}} \xi_n e_{n-1} \in E\) is an inverse image of \(x\). Finally \(u\) is an homeomorphism. Continue reading A homeomorphism of the unit ball having no fixed point

Counterexamples around differentiation of sequences of functions

We consider here sequences of real functions defined on a closed interval. Following theorem is the main one regarding the differentiation of the limit.

Theorem: Suppose \((f_n)\) is a sequence of functions, differentiable on \([a,b]\) and such that \((f_n(x_0))\) converges for some point \(x_0 \in [a,b]\). If \((f_n^\prime)\) converges uniformly on \([a,b]\), then \((f_n)\) converges uniformly on \([a,b]\) to a function \(f\) and for all \(x \in [a,b]\) \[f^\prime(x)=\lim\limits_{n \to \infty} f_n^\prime(x)\] What happens if we drop some hypothesis of the theorem? Continue reading Counterexamples around differentiation of sequences of functions

Mathematical exceptions to the rules or intuition