1
$\begingroup$

$X=\text{set of all trace zero matrices with bounded entries in } M_2(\mathbb{R})$ and $Y=\{detA: A\in X\}\subseteq\mathbb{R}$ Does there exist $\alpha<0$ and $\beta>0$ such that $Y=[\alpha,\beta]$? So far I think they are asking whether $Y$ is compact or not, for that enough to show $X$ is compact as det is continuous so we will be done, the set $X$ is bounded clearly, but to show closed I hope it is a subset of kerT where $T:M_2(\mathbb{R})\rightarrow \mathbb{R}$ given by $T(A)=trace(A)$, nothing more I can conclude now. Please help.

  • 0
    What do you mean by bounded entries? For a given matrix, the entries are bounded by the maximum of the absolute value of the entries, I think...?2012-04-26
  • 0
    Suppose you are given $|a_{ij}|\le2 \forall i,j$2012-04-26
  • 1
    Ok, I see. $X$ is **a** set of matrices with bounded entries, and not **the** set. Sorry for the misunderstanding.2012-04-26

1 Answers 1

3

The map $X\mapsto \operatorname{Tr}(X)$ is continuous (as a linear map over a finite dimensional vector space), so $X$ is closed and bounded, hence compact. The map $A\mapsto \det A$ is continuous so $Y$ compact. Now, what we have to see is whether we can have negative or positive determinant. Taking $A:=\pm C\pmatrix{-1&0\\0&1}$, we can have negative or positive values (we choose $0\leq C<M$, where $M$ is such that $|a_{ij}|\leq M, i,j\in\{1,2\}, A\in X)$.

  • 0
    how to show that $X\mapsto Tr(X)$ is continous?2012-04-26
  • 0
    thank you Davide!! so some how I was thinking in a right path isn't it?:)2012-04-26
  • 1
    What missed was the fact that the interval contains negative or positive values).2012-04-26
  • 2
    It may be worth pointing out that your trick with $C$ also shows $Y$ is connected. Other wise, a priori, you could get something like $Y = [-2,-1]\cup[1,2]$.2012-04-26