Constant sign
-
- Community Team
- Posts: 314
- Joined: Tue Nov 10, 2015 8:25 pm
Constant sign
Prove that if \( \displaystyle f : S \subset \mathbb{R}^{3} \longrightarrow \mathbb{R} \) is a nonzero continuous function defined on a connected surface \( \displaystyle S \), then \( \displaystyle f \) does not change sign on \( \displaystyle S \).
-
- Community Team
- Posts: 426
- Joined: Mon Nov 09, 2015 1:52 pm
Re: Constant sign
Hello Nickos.
Suppose that \(\displaystyle{f(p)<0\,,f(q)>0}\) for some \(\displaystyle{p\,,q\in S}\). Obviously, \(\displaystyle{p\neq q}\) because if
\(\displaystyle{p=q}\), then \(\displaystyle{0<f(q)=f(p)<0}\), a contradiction. Since \(\displaystyle{p\,,q\in S\,,p\neq q}\) and the regular surface
\(\displaystyle{S}\) is connected, there exists a continuous cuve \(\displaystyle{c:\left[a,b\right]\longrightarrow S}\) on S, such that
\(\displaystyle{c(a)=p\,,c(b)=q}\) (or \(\displaystyle{c(a)=q\,,c(b)=p}\)) .
We define \(\displaystyle{g=f\circ c:\left[a,b\right]\longrightarrow \mathbb{R}\,,g(t)=\left(f\circ c\right)(t)=f(c(t))}\). This function is a well defined
real-valued function of one variable. Also, this function is continuous at \(\displaystyle{\left[a,b\right]}\) as a composition of continuous functions.
Also, \(\displaystyle{g(a)\cdot g(b)=f(c(a))\cdot f(c(b))=f(p)\cdot f(q)<0}\). According to \(\displaystyle{\rm{Bolzano's}}\) theorem, there exists
\(\displaystyle{t_0\in\left(a,b\right)}\) such that \(\displaystyle{g(t_0)=f(c(t_0))=0}\), where \(\displaystyle{c(t_0)\in S}\), a contradiction, since
\(\displaystyle{f(x)\neq 0\,,\forall\,x\in S}\) .
Therefore, the function \(\displaystyle{f}\) does not change sign on \(\displaystyle{S}\) .
Suppose that \(\displaystyle{f(p)<0\,,f(q)>0}\) for some \(\displaystyle{p\,,q\in S}\). Obviously, \(\displaystyle{p\neq q}\) because if
\(\displaystyle{p=q}\), then \(\displaystyle{0<f(q)=f(p)<0}\), a contradiction. Since \(\displaystyle{p\,,q\in S\,,p\neq q}\) and the regular surface
\(\displaystyle{S}\) is connected, there exists a continuous cuve \(\displaystyle{c:\left[a,b\right]\longrightarrow S}\) on S, such that
\(\displaystyle{c(a)=p\,,c(b)=q}\) (or \(\displaystyle{c(a)=q\,,c(b)=p}\)) .
We define \(\displaystyle{g=f\circ c:\left[a,b\right]\longrightarrow \mathbb{R}\,,g(t)=\left(f\circ c\right)(t)=f(c(t))}\). This function is a well defined
real-valued function of one variable. Also, this function is continuous at \(\displaystyle{\left[a,b\right]}\) as a composition of continuous functions.
Also, \(\displaystyle{g(a)\cdot g(b)=f(c(a))\cdot f(c(b))=f(p)\cdot f(q)<0}\). According to \(\displaystyle{\rm{Bolzano's}}\) theorem, there exists
\(\displaystyle{t_0\in\left(a,b\right)}\) such that \(\displaystyle{g(t_0)=f(c(t_0))=0}\), where \(\displaystyle{c(t_0)\in S}\), a contradiction, since
\(\displaystyle{f(x)\neq 0\,,\forall\,x\in S}\) .
Therefore, the function \(\displaystyle{f}\) does not change sign on \(\displaystyle{S}\) .
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 19 guests