4
$\begingroup$

Any idea about this problem concerning the Constant Rank Theorem:

Let $f:U\subset\mathbb{R}^m \longrightarrow U,U $ open connected $ ,f\in C^1(\mathbb{R}^m)$ such that: $f\circ f=f$

Prove that $f$ has constant rank in a neighborhood $V$ of $f[U] ,(Rank(f,a)=constant,\forall a \in V)$

$Rank(f,a) = $ dim $ Im[f'(a)]$

Any hints would be appreciated.

  • 0
    Sure $f$ has constant rank on $Im(f)$, which is closed and connected, but what about a neighborhood?2013-03-28

1 Answers 1

1

The rank ($T\mapsto \dim Im T$) is a lower semicontinuous function on linear operators, and $f'$ is continuous, so $x\mapsto Rank(f,x)$ is lower semicontinuous as well. Thus $\{x\in U\mid Rank(f,x)>k\}$ is an open set for any $k\in\mathbb{R}$. Let $n:=\max\limits_{x\in U} Rank(f,x)$. For any $a\in U$ $f'(a)=(f\circ f)'(a)=f'(f(a))\circ f'(a),$ thus $Rank(f,a)\le Rank(f,f(a))$. If $a\in f[U]$ the above equality reduces to $f'(a)^2=f'(a)$. Since for projections the rank and trace are equal, and the trace is continuous, $x\mapsto Rank(f,x)$ is continuous on $f[U]$, which is connected, thus $f[U]\subset\{x\in U\mid Rank(f,x)=n\}=\{x\in U\mid Rank(f,x)>n-1/2\}=:V.\quad\square$

I would like to add that this implies that $f[U]$ is an $n$-dimensional submanifold: by the constant rank theorem every $a\in V$ has an open neighborhood $W\subseteq V$ such that $f[W]$ is an $n$-dimensional submanifold. But then so is $f[W]\cap W$, and we have $f[U]\cap W=f[f[U]\cap W]=f[W]\cap W.$