Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying to understand why the subset of $GL(n,\mathbb{R})$ formed by the block-matrices of the following type:

$$\begin{pmatrix} A & B \\ 0 & C \end{pmatrix}$$ where

$$A \in GL(k,\mathbb{R}),~ C \in GL(n-k,\mathbb{R}),~ B \in M(k,n-k,\mathbb{R}).$$

is closed in $GL(n,\mathbb{R})$. I first tried to see this subset as inverse image of a closed subset of $\mathbb{R}$ via the determinant function, and then it would be closed (since $\det$ is continuous), but I couldn't do it. Can you help me?

share|improve this question
    
What is $R{}{}$? –  azimut May 20 '13 at 0:00

1 Answer 1

up vote 3 down vote accepted

First, one needs to be specific about what topology you're interested in. I'm going to assume it is the Zariski topology (although this answer also works for the topology induced by the standard topology on $\mathbb{R}^{n^2}$). The set $\mathrm{GL}(n,\mathbb{R})$ is considered as a subset of $\mathbb{R}^{n^2}$. Then note that your set can be defined as the vanishing set of a set of polynomials. Precisely, it is the vanishing set of the coordinates corresponding to the entries of the lower left block matrix. (Note that if the lower left block is zero and the matrix is invertible, then the blocks on the diagonal must automatically be invertible, so your other conditions are automatic.) Since the vanishing set of a set of polynomials is closed, you're done.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.