PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 7 of 'zero of a function'
[ view 'zero of a function' | back to history ]

Title of object: zero of a function
Canonical Name: ZeroOfAFunction
Type: Definition

Created on: 2003-10-15 01:25:30
Modified on: 2004-01-02 10:54:20

Creator: nobody
Modifier: yark
Author: matte
Author: yark
Author: say_10
Author: apmxi

Classification: msc:26E99

Revision comment (for changes between this and next version):

page images mode is broken again now - trying to fix

Preamble:

% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
Content:

{\bf Definition}
Suppose $X$ is a set, and suppose $f$ is a complexvalued function $f:X\to \mathbb{C}$.
Then a {\em zero} of $f$ is an element $x\in X$ such that $f(x)=0$.
The {\em zero set} of $f$ is the set
$$ Z(f) &=& \{ x\in X \mid f(x)=0\}.$$
\subsubsection{Remark}
When $X$ is a "simple" space, such as $\mathbb{R}$ or $\mathbb{C}$ a zero is also
called a root. However, in pure mathematics and especially if $Z(f)$ is infinite,
it seems to be customary to talk of zeroes and the zero set instead of roots.
\subsubsection{Examples}
\begin{itemize}
\item Suppose $p$ is a polynomial $p:\mathbb{C}\to \mathb{R}$ of degree $n\ge 1$.
Then $p$ has at most $n$ zeroes. That is $#Z(p)\le n$.
\item If $f$ and $g$ are functions $f:X\to \mathbb{C}$ and $g:X\to \mathbb{C}$, then
$$ Z(fg)=Z(f)\cup Z(g)$$
where $fg$ is the function $x\mapsto f(x) g(x)$.
\end{itemize}