Blog Archive

Friday, May 26, 2023

Algebraic properties of zero point of Continuous function

Consider the Algebra of continuous function f:RR

We know that a(f):=f(a) is a Algebra homomorphism

And Ia={fC|a(f)=0} is the kernel of the homomorphism

And actually, it is a maximal ideal because it is a surjection to R

Thus CIaR

Thus Ia is a maximal ideal

If there exists no empty open interval (a,b), and x(a,b),f(x)=0, then f(x) is a zero divisor

And if f1,f2,f3,...,fn have no common zero point, then the ideal (f1,f2,f3,...,fn)=(1)=C

Proof.

Consider (g)=(f12+f22+f32,...,+fn2)(f1,f2,f3,...,fn)

Observe that xR,g(x)>0, thus g is invertible, there exists h,hg=gh=1

Thus 1(g)(f1,f2,f3,...,fn)

Therefore (f1,f2,f3,...,fn)=(1)=C

 

Popular Posts