2
$\begingroup$

I am trying to figure out why a result invoked in a proof might be proved.

Basically, the following equation holds \begin{equation*} \boldsymbol{c}\left(\boldsymbol{\theta}\right)'\mathbf{M}\left(\boldsymbol{\theta}\right)\boldsymbol{c}\left(\boldsymbol{\theta}\right)=0,\; \boldsymbol{\theta}\in \mathcal{O}_{\boldsymbol{\theta}_0} \end{equation*} where $\mathbf{M}:\mathbb{R}^p\longmapsto \mathbb{R}^{p \times p}$ is a matrix-valued function, $\boldsymbol{c}:\mathbb{R}^p \longmapsto \mathbb{R}^p$ is a vector-valued function, and the equation holds in an open neighbourhood of $\boldsymbol{\theta}_0$, where, also, importantly, the rank of the matrix map is constant in the open neighbourhood of $\boldsymbol{\theta}_0$ and the matrix is singular at $\boldsymbol{\theta}_0$.

The claim made is that if the matrix-map is continuous in the open neighbourhood, then the vector-valued map, $\boldsymbol{c}$, can be chosen to be continuous in the same open neighbourhood. Which then leads to an inverse function with the usual properties - $d\boldsymbol{\theta}(t)/dt=\boldsymbol{c}\left(\boldsymbol{\theta}\right)$ and $\boldsymbol{\theta}(0)=\boldsymbol{\theta}_0$.

This seems intuitive but I can't prove it. Any hints as to a proof or a textbook treatment will be appreciated. Thanks.

  • 0
    Also, yes, prime ($'$) denotes transpose.2011-10-02

0 Answers 0