4.3: Operations on Limits. Rational Functions
( \newcommand{\kernel}{\mathrm{null}\,}\)
I. A function f:A→T is said to be real if its range D′f lies in E1, complex if D′f⊆C, vector valued if D′f is a subset of En, and scalar valued if D′f lies in the scalar field of En.( 'ln the latter two cases, we use the same terminology if En is replaced by some other (fixed) normed space under consideration.) The domain A may be arbitrary.
For such functions one can define various operations whenever they are defined for elements of their ranges, to which the function values f(x) belong. Thus as in Chapter 3, §9, we define the functions f±g,fg, and f/g "pointwise," setting
(f±g)(x)=f(x)±g(x),(fg)(x)=f(x)g(x), and (fg)(x)=f(x)g(x)
whenever the right side expressions are defined. We also define |f|:A→E1 by
(∀x∈A)|f|(x)=|f(x)|.
In particular, f±g is defined if f and g are both vector valued or both scalar valued, and fg is defined if f is vector valued while g is scalar valued; similarly for f/g. (However, the domain of f/g consists of those x∈A only for which g(x)≠0.)
In the theorems below, all limits are at some (arbitrary, but fixed) point p of the domain space (S,ρ). For brevity, we often omit "x→p."
For any functions f,g,h:A→E1(C),A⊆(S,ρ), we have the following:
- (i) If f,g,h are continuous at p(p∈A), so are f±g and fh. So also is f/h, provided h(p)≠0; similarly for relative continuity over B⊆A.
- (ii) If f(x)→q,g(x)→r, and h(x)→a( all, as x→p over B⊆A), then
- f(x)±g(x)→q±r
- f(x)h(x)→qa; and
- f(x)h(x)→qa, provided a≠0
All this holds also if f and g are vector valued and h is scalar valued.
For a simple proof, one can use Theorem 1 of Chapter 3, §15. (An independent proof is sketched in Problems 1-7 below.)
We can also use the sequential criterion (Theorem 1 in §2). To prove (ii), take any sequence
{xm}⊆B−{p},xm→p
Then by the assumptions made,
f(xm)→q,g(xm)→r, and h(xm)→a
Thus by Theorem 1 of Chapter 3, §15,
f(xm)±g(xm)→q±r,f(xm)g(xm)→qa, and f(xm)g(xm)→qa
As this holds for any sequence {xm}⊆B−{p} with xm→p, our assertion (ii) follows by the sequential criterion; similarly for (i).
Note 1. By induction, the theorem also holds for sums and products of any finite number of functions (whenever such products are defined).
Note 2. Part (ii) does not apply to infinite limits q,r,a; but it does apply to limits at p=±∞ (take E∗ with a suitable metric for the space S).
Note 3. The assumption h(x)→a≠0( as x→p over B) implies that h(x)≠0 for x in B∩G¬p(δ) for some δ>0; see Problem 5 below. Thus the quotient function f/h is defined on B∩G¬p(δ) at least.
II. If the range space of f is En(∗ or Cn), then each function value f(x) is a vector in that space; thus n real (* respectively, complex) components, denoted
fk(x),k=1,2,…,n.
Here we may treat fk as a mapping of A=Df into E1(∗ or C); it carries each point x∈A into fk(x), the k th component of f(x). In this manner, each function
f:A→En(∗Cn)
uniquely determines n scalar-valued maps
fk:A→E1(C)
called the components of f. Notation: f=(f1,…,fn).
Conversely, given n arbitrary functions
fk:A→E1(C),k=1,2,…,n,
one can define f:A→En(∗Cn) by setting
f(x)=(f1(x),f2(x),…,fn(x)).
Then obviously f=(f1,f2,…,fn). Thus the fk in turn determine f uniquely. To define a function f:A→En(∗Cn) means to give its n components fk. Note that
f(x)=(f1(x),…,fn(x))=n∑k=1¯ekfk(x), i.e., f=n∑k=1¯ekfk
where the ¯ek are the n basic unit vectors; see Chapter 3, §1-3, Theorem 2. Our next theorem shows that the limits and continuity of f reduce to those of the fk.
(componentwise continuity and limits). For any function f:A→En(∗Cn), with A⊆(S,ρ) and with f=(f1,…,fn), we have that
(i) f is continuous at p(p∈A) iff all its components fk are, and
(ii) f(x)→¯q as x→p(p∈S) iff
fk(x)→qk as x→p(k=1,2,…,n),
i.e., iff each fk has, as its limit at p, the corresponding component of ¯q.
Similar results hold for relative continuity and limits over a path B⊆A.
We prove (ii). If f(x)→¯q as x→p then, by definition,
(∀ε>0)(∃δ>0)(∀x∈A∩G¬p(δ))ε>|f(x)−¯q|=√n∑k=1|fk(x)−qk|2;
in turn, the right-hand side of the inequality given above is no less than each
|fk(x)−qk|,k=1,2,…,n.
Thus
(∀ε>0)(∃δ>0)(∀x∈A∩G¬p(δ))|fk(x)−qk|<ε;
i.e., fk(x)→qk,k=1,…,n.
Conversely, if each fk(x)→qk, then Theorem 1 (ii) yields
n∑k=1¯ekfk(x)→n∑k=1¯ekqk.
By formula (1), then, f(x)→¯q (for ∑nk=1¯ekqk=¯q). Thus (ii) is proved; similarly for (i) and for relative limits and continuity.
Note 4. Again, Theorem 2 holds also for p=±∞ (but not for infinite q).
Note 5. A complex function f:A→C may be treated as f:A→E2. Thus it has two real components: f=(f1,f2). Traditionally, f1 and f2 are called the real and imaginary parts of f, also denoted by f re and f im , so
f=fre+i⋅fim.
By Theorem 2,f is continuous at p iff f re and f im are.
The complex exponential is the function f:E1→C defined by
f(x)=cosx+i⋅sinx, also written f(x)=exi.
As we shall see later, the sine and the cosine functions are continuous. Hence so is f by Theorem 2.
III. Next, consider functions whose domain is a set in En(∗ or Cn). We call them functions of n real (∗ or complex) variables, treating ¯x=(x1,…,xn) as a variable n-tuple. The range space may be arbitrary.
In particular, a monomial in n variables is a map on En(∗ or Cn) given by a formula of the form
f(¯x)=axm11xm22⋯xmnn=a⋅n∏k=1xmkk,
where the mk are fixed integers ≥0 and a∈E1(∗ or a∈C).2 If a≠0, the
summ=∑nk=1mk is called the degree of the monomial. Thus
f(x,y,z)=3x2yz3=3x2y1z3
defines a monomial of degree 6, in three real (or complex) variables x,y,z. (We often write x,y,z for x1,x2,x3.)
A polynomial is any sum of a finite number of monomials; its degree is, by definition, that of its leading term, i.e., the one of highest degree. (There may be several such terms, of equal degree.) For example,
f(x,y,z)=3x2yz3−2xy7
defines a polynomial of degree 8 in x,y,z. Polynomials of degree 1 are sometimes called linear.
A rational function is the quotient f/g of two polynomials f and g on En (∗orCn). Its domain consists of those points at which g does not vanish. For example,
h(x,y)=x2−3xyxy−1
defines a rational function on points (x,y), with xy≠1. Polynomials and monomials are rational functions with denominator 1.
Any rational function (in particular, every polynomial) in one or several variables is continuous on all of its domain.
- Proof
-
Consider first a monomial of the form
f(¯x)=xk(k fixed );
it is called the k th projection map because it "projects" each ¯x∈En(∗Cn) onto its k th component xk.
Given any ε>0 and ¯p, choose δ=ε. Then
(∀¯x∈G¯p(δ))|f(¯x)−f(¯p)|=|xk−pk|≤√n∑i=1|xi−pi|2=ρ(¯x,¯p)<ε.
Hence by definition, f is continuous at each ¯p. Thus the theorem holds for projection maps.
However, any other monomial, given by
f(¯x)=axm11xm22⋯xmnn,
is the product of finitely many (namely of m=m1+m2+…+mn) projection maps multiplied by a constant a. Thus by Theorem 1, it is continuous. So also is any finite sum of monomials (i.e., any polynomial), and hence so is the quotient f/g of two polynomials (i.e., any rational function) wherever it is defined, i.e., wherever the denominator does not vanish. ◻
IV. For functions on En(∗ or Cn), we often consider relative limits over a line of the form
¯x=¯p+t→ek (parallel to the kth axis, through ¯p);
see Chapter 3, §§4-6, Definition 1. If f is relatively continuous at ¯p over that line, we say that f is continuous at ¯p in the k th variable xk (because the other components of ¯x remain constant, namely, equal to those of ¯p, as ¯x runs over that line). As opposed to this, we say that f is continuous at ¯p in all n variables jointly if it is continuous at ¯p in the ordinary (not relative) sense. Similarly, we speak of limits in one variable, or in all of them jointly.
since ordinary continuity implies relative continuity over any path, joint continuity in all n variables always implies that in each variable separately, but the converse fails (see Problems 9 and 10 below ); similarly for limits at ¯p.