- #1
P3X-018
- 144
- 0
I have the set
[tex] S = \left\{ (a,\ldots,f) \in\mathbb{R}^6\,|\, \vert ad-bc\vert = 0 \,\wedge \, \vert af-be\vert > 0 \right\} [/tex]
Now writting it as (it is possible to split like this, right?)
[tex] S = \left\{ (a,\ldots,f) \in\mathbb{R}^6\,|\, \vert ad-bc\vert = 0 \right\} \cap \left\{ (a,\ldots,f) \in\mathbb{R}^6\,|\, \vert af-be\vert > 0 \right\} [/tex]
Obviously the set with [itex] \vert af-be\vert > 0 [/itex] is an open set in [itex] \mathbb{R}^6[/itex] because of the sharp inequality, and the other closed. But is this enough of an argument to conclude wether the sets are open or closed? Or what more is needed to conclude that? It seems kinda overkill to argue with the definition of an open and closed set, that is to argue that if a set is open then for any point in the set there exists 'sphere' with center at that point contained completely in the set.
[tex] S = \left\{ (a,\ldots,f) \in\mathbb{R}^6\,|\, \vert ad-bc\vert = 0 \,\wedge \, \vert af-be\vert > 0 \right\} [/tex]
Now writting it as (it is possible to split like this, right?)
[tex] S = \left\{ (a,\ldots,f) \in\mathbb{R}^6\,|\, \vert ad-bc\vert = 0 \right\} \cap \left\{ (a,\ldots,f) \in\mathbb{R}^6\,|\, \vert af-be\vert > 0 \right\} [/tex]
Obviously the set with [itex] \vert af-be\vert > 0 [/itex] is an open set in [itex] \mathbb{R}^6[/itex] because of the sharp inequality, and the other closed. But is this enough of an argument to conclude wether the sets are open or closed? Or what more is needed to conclude that? It seems kinda overkill to argue with the definition of an open and closed set, that is to argue that if a set is open then for any point in the set there exists 'sphere' with center at that point contained completely in the set.