Skip to main content
2 of 4
added 49 characters in body
muddy
  • 69
  • 4

Let $I = [0,1]$. Construct the set $A(t) = {\rm{Diag}}(a_{1,1}(t), a_{2,2}(t)) \in \Re^{2 \times 2}$ as follows:

First, let the set $E \subset I$ be the fat Cantor set.

For each $k \geq 1$ in the construction of the set $E$, let the intervals removed at the $k^{th}$ step be $(c_{k_i}, d_{k_i})$, $i = 1, \ldots, 2^{k-1}$.

For $c < d$, define continuous $f_{c,d}(t)$ and $g_{c,d}(t)$ for $t \in (c,d)$ by \begin{eqnarray*} f_{c,d}(t) & = & \left\{ \begin{array}{cl} \frac{2c+d}{d-c} - \frac{3}{d-c}t & , c < t \leq \frac{2c + d}{3} \\ 0 & , \frac{2c+d}{3} \leq t \leq \frac{2d + c}{3} \\ -\frac{2d+c}{d-c} + \frac{3}{d-c}t & , \frac{2d + c}{3} \leq t < d \end{array} \right., \\ & & \\ g_{c,d}(t) & = & \left\{ \begin{array}{cl} 0 & , c < t \leq \frac{2c + d}{3} \\ -\frac{2(2c+d)}{d-c} + \frac{6}{d-c}t & , \frac{2c+d}{3} \leq t \leq \frac{c+d}{2} \\ \frac{2(2d+c)}{3} - \frac{6}{d-c}t & , \frac{c+d}{2} \leq t \leq \frac{2d+c}{3} \\ 0 & , \frac{2d+c}{3} \leq t < d \end{array} \right.. \end{eqnarray*}

Define for $t \in I$, $a_{1,1}(t)$, $a_{2,2}(t)$ by \begin{eqnarray*} a_{1,1}(t) & = & \left\{ \begin{array}{cl} 1 & , t \in E \\ f_{c_{k_i},d_{k_i}}(t) & , t \in (c_{k_i},d_{k_i}), i = 1, \ldots, 2^{k-1}, k \geq 1 \end{array} \right., \\ \\ & & \\ a_{2,2}(t) & = & \left\{ \begin{array}{cl} 0 & , t \in E \\ g_{c_{k_i},d_{k_i}}(t) & , t \in (c_{k_i},d_{k_i}), i = 1, \ldots, 2^{k-1}, k \geq 1 \end{array} \right.. \end{eqnarray*}

We have $a_{1,1}(t)$ and $a_{2,2}(t)$ are continuous, but can be easily adapted to be differentiable, on $I$. Furthermore, define $F \subset I \backslash E$ to be such that \begin{eqnarray*} F = \bigcup_{k \geq 1} \bigcup_{1 \leq i \leq 2^{k-1}} \left[\frac{2 c_{k_i} + d_{k_i}}{3}, \frac{2d_{k_i}+c_{k_i}}{3} \right]. \end{eqnarray*}

For $t \in E$, $0$-eignvectors of $A(t)$ are of the form $[0, \ast]^T$; for $t \in F$, $0$-eigenvectors of $A(t)$ are of the form $[\ast, 0]^T$; for $t \in I \backslash (E \cup F)$, $0$-eigenvectors of $A(t)$ are of the form $[0, \ast]^T$.

For any $t \in E$. Given any open neighborhood of $t$ in $I$, there exists $t_1 \in F$ in the neighborhood, we see then that any $0$-eigenvector $v(t)$ of $A(t)$ cannot be continuous at $t \in E$, where $m(E) > 0$.

muddy
  • 69
  • 4