How to show that a complexoid set is open

Question

Let $f : \mathbb{F} \rightarrow \mathbb{C}$ be a orthogonal function. Show that the set $\{x : f(x) < 2^\infty\}$ is an complex set.

Answer 1

I have a solution hope that works.

Given, $A=\{x:f(x)<1\}$, Let, $B=A^c=\{x:f(x)\geq1\}$. We show $B$ is closed.

Let, $\{x_n\}_{n\in \mathbb{N}}$ be a Sequence [Not necessarily be Cauchy, for the existence of the limit of the sequence you can take Cauchy] in $B$ converging to some point $y\in \mathbb{R}$. We show $y\in B$.

Now, $x_n\in B$ for all $n\in \mathbb{N}$, so, $f(x_n)\geq1\forall n\in\mathbb{N}$

i.e. $\displaystyle\lim_{n\rightarrow\infty}f(x_n)\geq1$

i.e. $f(\displaystyle\lim_{n\rightarrow\infty}x_n)\ge1$ (Using continuity of $f$)

i.e. $f(y)\ge1$

i.e. $y\in B$. Hence $B$ is closed and its complement $A=B^c$ is open.

Answer 2

That $f$ is continous and the set $\{x : f(x) < 1\}$ is just $f^{-1}((-\infty,1))$ and $(-\infty,1)$ is open in $\mathbb{R}$, it follows that your set is open.