Browse papers
A

Group A

Attempt ALL questions. The figures in the margin indicate full marks.

5 questions·8 marks each
1long8 marks

Define bijective function with an example. Is the composite of two functions necessarily commutative? Prove that if f:XYf : X \to Y and g:YZg : Y \to Z are bijective, then the composite function gf:XZg \circ f : X \to Z is also bijective and (gf)1=f1g1(g \circ f)^{-1} = f^{-1} \circ g^{-1}. [1+2+5][1+2+5]

Bijective function. A function f:XYf : X \to Y is bijective if it is both injective (one-to-one) and surjective (onto): for all x1,x2Xx_1, x_2 \in X, f(x1)=f(x2)x1=x2f(x_1)=f(x_2) \Rightarrow x_1=x_2, and for every yYy \in Y there exists xXx \in X with f(x)=yf(x)=y.

Example: f:RRf : \mathbb{R} \to \mathbb{R}, f(x)=2x+3f(x)=2x+3 is bijective (one-to-one and onto).

Is composition commutative? No. In general gffgg \circ f \neq f \circ g. For example, with f(x)=x+1f(x)=x+1 and g(x)=x2g(x)=x^2 on R\mathbb{R}, (gf)(x)=(x+1)2(g\circ f)(x)=(x+1)^2 while (fg)(x)=x2+1(f\circ g)(x)=x^2+1, which are not equal. (Moreover fgf\circ g may not even be defined unless the domains/codomains match.)

Proof that gfg\circ f is bijective.

Injective: Suppose (gf)(x1)=(gf)(x2)(g\circ f)(x_1)=(g\circ f)(x_2), i.e. g(f(x1))=g(f(x2))g(f(x_1))=g(f(x_2)). Since gg is injective, f(x1)=f(x2)f(x_1)=f(x_2); since ff is injective, x1=x2x_1=x_2. Hence gfg\circ f is injective.

Surjective: Let zZz \in Z. Since gg is surjective, there is yYy \in Y with g(y)=zg(y)=z. Since ff is surjective, there is xXx \in X with f(x)=yf(x)=y. Then (gf)(x)=g(f(x))=g(y)=z(g\circ f)(x)=g(f(x))=g(y)=z. Hence gfg\circ f is surjective.

Therefore gfg\circ f is bijective and its inverse exists.

Proof that (gf)1=f1g1(g\circ f)^{-1}=f^{-1}\circ g^{-1}. For any zZz \in Z,

(gf)(f1g1)(z)=g(f(f1(g1(z))))=g(g1(z))=z,(g\circ f)\circ(f^{-1}\circ g^{-1})(z) = g\big(f(f^{-1}(g^{-1}(z)))\big) = g(g^{-1}(z)) = z,

and similarly (f1g1)(gf)(x)=x(f^{-1}\circ g^{-1})\circ(g\circ f)(x)=x for all xXx\in X. Since the composition with f1g1f^{-1}\circ g^{-1} gives the identity on both sides, by uniqueness of inverses (gf)1=f1g1(g\circ f)^{-1}=f^{-1}\circ g^{-1}. \blacksquare

functionsbijectivecomposition
2long8 marks

(a) Define the interior point of a set in R\mathbb{R}. Find the interior points of the set {1,2,3,4,5,6}\{1,2,3,4,5,6\}. Prove that the intersection of a finite number of open sets is an open set. Is the intersection of an infinite number of open sets open? If not, justify your answer by a suitable example. [1+2+5][1+2+5]

OR

(b) Define adherent point and the closure Xˉ\bar{X}. Determine the adherent points of {0}(1,7)\{0\} \cup (1,7). Prove that a set is closed if and only if it contains all its adherent points.

(a) Interior point. A point xx of a set ARA \subseteq \mathbb{R} is an interior point of AA if there exists ε>0\varepsilon > 0 such that the open interval (xε,x+ε)A(x-\varepsilon, x+\varepsilon) \subseteq A.

Interior points of {1,2,3,4,5,6}\{1,2,3,4,5,6\}: This is a finite set; no interval (xε,x+ε)(x-\varepsilon, x+\varepsilon) around any of its points lies inside the set. Hence the set has no interior points (its interior is empty).

Finite intersection of open sets is open. Let G1,G2,,GnG_1, G_2, \dots, G_n be open and G=i=1nGiG=\bigcap_{i=1}^{n} G_i. Let xGx\in G. Then xGix\in G_i for each ii, so there exist εi>0\varepsilon_i>0 with (xεi,x+εi)Gi(x-\varepsilon_i, x+\varepsilon_i)\subseteq G_i. Put ε=min{ε1,,εn}>0\varepsilon=\min\{\varepsilon_1,\dots,\varepsilon_n\}>0. Then (xε,x+ε)Gi(x-\varepsilon, x+\varepsilon)\subseteq G_i for all ii, so (xε,x+ε)G(x-\varepsilon, x+\varepsilon)\subseteq G. Thus every point of GG is interior, and GG is open. \blacksquare

Infinite intersection need not be open. Consider Gn=(1n,1n)G_n=\left(-\tfrac{1}{n}, \tfrac{1}{n}\right), each open. Then

n=1Gn={0},\bigcap_{n=1}^{\infty} G_n = \{0\},

which is not open. Hence the intersection of infinitely many open sets need not be open.

OR (b) Adherent point and closure. A point xx is an adherent point (point of closure) of XX if every open interval (xε,x+ε)(x-\varepsilon, x+\varepsilon) contains at least one point of XX. The closure Xˉ\bar{X} is the set of all adherent points of XX.

Adherent points of {0}(1,7)\{0\}\cup(1,7): the closure is {0}[1,7]\{0\}\cup[1,7], i.e. 00 together with the closed interval [1,7][1,7] (the endpoints 11 and 77 are adherent).

Proof: XX is closed     \iff it contains all its adherent points. (\Rightarrow) Suppose XX is closed, so RX\mathbb{R}\setminus X is open. If xx is adherent to XX but xXx\notin X, then xRXx\in\mathbb{R}\setminus X, which is open, so some (xε,x+ε)RX(x-\varepsilon, x+\varepsilon)\subseteq \mathbb{R}\setminus X contains no point of XX, contradicting adherence. Hence XX contains all its adherent points. (\Leftarrow) Suppose XX contains all its adherent points. Let xRXx\in\mathbb{R}\setminus X. Then xx is not adherent, so some (xε,x+ε)(x-\varepsilon,x+\varepsilon) contains no point of XX, i.e. it lies in RX\mathbb{R}\setminus X. Thus RX\mathbb{R}\setminus X is open and XX is closed. \blacksquare

topology-of-realsopen-setsclosed-sets
3long8 marks

Define convergence of a series. Prove that an infinite series xn\sum x_n converges if and only if for each ε>0\varepsilon > 0 there is a positive integer NN such that xn+1++xm<ε|x_{n+1} + \cdots + x_m| < \varepsilon whenever m>n>Nm > n > N. Apply this criterion to determine whether the following series are convergent or divergent: (i) 1n\sum \frac{1}{n} (the harmonic series) (ii) 1n2\sum \frac{1}{n^2}. [1+3+2+2][1+3+2+2]

OR

If un\sum u_n is a positive-terms series such that limn(un)1/n=l\lim_{n\to\infty} (u_n)^{1/n} = l, prove that (i) the series converges if l<1l < 1, (ii) the series diverges if l>1l > 1, (iii) no definite information if l=1l = 1. Apply this (Cauchy's root) test to examine the convergence or divergence of the series 1+23x+(34)2x2+(45)3x3+1 + \frac{2}{3}x + \left(\frac{3}{4}\right)^2 x^2 + \left(\frac{4}{5}\right)^3 x^3 + \cdots for different values of xx. [5+3][5+3]

Convergence of a series. A series xn\sum x_n converges to ss if the sequence of partial sums sn=x1+x2++xns_n = x_1 + x_2 + \cdots + x_n converges to ss, i.e. limnsn=s\lim_{n\to\infty} s_n = s.

Cauchy's general principle of convergence. xn\sum x_n converges     \iff the sequence {sn}\{s_n\} is a Cauchy sequence (since R\mathbb{R} is complete). For m>nm>n, smsn=xn+1++xms_m - s_n = x_{n+1}+\cdots+x_m. So {sn}\{s_n\} is Cauchy     \iff for each ε>0\varepsilon>0 there exists NN such that smsn=xn+1++xm<ε|s_m-s_n| = |x_{n+1}+\cdots+x_m| < \varepsilon whenever m>n>Nm>n>N. Hence the series converges iff this criterion holds. \blacksquare

(i) Harmonic series 1n\sum \frac{1}{n}. Take m=2nm=2n. Then

xn+1++x2n=1n+1++12nn12n=12.x_{n+1}+\cdots+x_{2n} = \frac{1}{n+1}+\cdots+\frac{1}{2n} \ge n\cdot\frac{1}{2n} = \frac{1}{2}.

Choosing ε=12\varepsilon=\tfrac12, the criterion fails, so the harmonic series diverges.

(ii) 1n2\sum \frac{1}{n^2}. For m>nm>n,

k=n+1m1k2<k=n+1m1k(k1)=k=n+1m(1k11k)=1n1m<1n.\sum_{k=n+1}^{m}\frac{1}{k^2} < \sum_{k=n+1}^{m}\frac{1}{k(k-1)} = \sum_{k=n+1}^{m}\left(\frac{1}{k-1}-\frac{1}{k}\right) = \frac{1}{n}-\frac{1}{m} < \frac{1}{n}.

Given ε>0\varepsilon>0, choose N>1εN>\tfrac1\varepsilon; then for m>n>Nm>n>N the tail is <ε<\varepsilon. So 1n2\sum\frac{1}{n^2} converges.

OR — Cauchy's root test. Let un\sum u_n, un>0u_n>0, with lim(un)1/n=l\lim (u_n)^{1/n}=l.

(i) If l<1l<1, choose rr with l<r<1l<r<1. For large nn, (un)1/n<r(u_n)^{1/n}<r, so un<rnu_n<r^n. Since rn\sum r^n converges (0<r<10<r<1), by comparison un\sum u_n converges.

(ii) If l>1l>1, then for infinitely many nn, (un)1/n>1(u_n)^{1/n}>1, so un>1u_n>1; thus un↛0u_n \not\to 0 and the series diverges.

(iii) If l=1l=1, the test is inconclusive: e.g. 1n\sum\frac1n diverges while 1n2\sum\frac1{n^2} converges, both with l=1l=1.

Application. Here un=(nn+1)n1xn1u_n=\left(\frac{n}{n+1}\right)^{n-1}x^{n-1} (general term (nn+1)nxn\left(\frac{n}{n+1}\right)^{n}x^{n} form). Then

(un)1/n=nn+1xx(n),(u_n)^{1/n} = \frac{n}{n+1}\,|x| \to |x| \quad (n\to\infty),

so l=xl=|x|. Therefore the series converges for x<1|x|<1, diverges for x>1|x|>1, and for x=1|x|=1 the term (nn+1)ne10\left(\frac{n}{n+1}\right)^n \to e^{-1}\neq 0, so it diverges. \blacksquare

infinite-seriescauchy-criterionconvergence-tests
4long8 marks

Let f:[a,b]Rf : [a,b] \to \mathbb{R} be a continuous function and let kk be a real number between f(a)f(a) and f(b)f(b). Prove that there exists a point c[a,b]c \in [a,b] such that f(c)=kf(c)=k (Intermediate Value Theorem). Give its geometrical meaning. Use the Intermediate Value Theorem to show that f(x)=x3x1f(x)=x^3 - x - 1 has a root in the interval [1,2][1,2]. [3+2+3][3+2+3]

Intermediate Value Theorem. Let f:[a,b]Rf:[a,b]\to\mathbb{R} be continuous and let kk lie strictly between f(a)f(a) and f(b)f(b). Then there exists c(a,b)c\in(a,b) with f(c)=kf(c)=k.

Proof. Assume WLOG f(a)<k<f(b)f(a)<k<f(b). Define g(x)=f(x)kg(x)=f(x)-k, continuous on [a,b][a,b] with g(a)<0<g(b)g(a)<0<g(b). Let

S={x[a,b]:g(x)<0}.S=\{x\in[a,b] : g(x)<0\}.

SS is nonempty (aSa\in S) and bounded above by bb; let c=supSc=\sup S. By continuity of gg:

  • If g(c)<0g(c)<0, then g<0g<0 on a neighbourhood of cc, so points slightly larger than cc lie in SS, contradicting c=supSc=\sup S.
  • If g(c)>0g(c)>0, then g>0g>0 on a neighbourhood of cc, so cc is not a limit of points of SS, again a contradiction.

Hence g(c)=0g(c)=0, i.e. f(c)=kf(c)=k. \blacksquare

Geometrical meaning. As xx moves from aa to bb, the graph of a continuous ff is an unbroken curve from (a,f(a))(a,f(a)) to (b,f(b))(b,f(b)); it must cross every horizontal line y=ky=k lying between the two heights at least once. So the curve attains every intermediate value.

Application. Let f(x)=x3x1f(x)=x^3-x-1, continuous on [1,2][1,2]. Then

f(1)=111=1<0,f(2)=821=5>0.f(1)=1-1-1=-1<0, \qquad f(2)=8-2-1=5>0.

Since ff is continuous and 00 lies between f(1)f(1) and f(2)f(2), by the IVT there exists c(1,2)c\in(1,2) with f(c)=0f(c)=0. Hence the equation x3x1=0x^3-x-1=0 has a root in [1,2][1,2]. \blacksquare

continuityintermediate-value-theorem
5long8 marks

Define upper and lower Riemann sums of a bounded function. Prove that a necessary and sufficient condition for a bounded function f:[a,b]Rf : [a,b] \to \mathbb{R} to be Riemann integrable on [a,b][a,b] is that for every ε>0\varepsilon > 0, there exists a partition PP of [a,b][a,b] such that 0U(P,f)L(P,f)<ε0 \le U(P,f) - L(P,f) < \varepsilon. [3+5][3+5]

Upper and lower Riemann sums. Let ff be bounded on [a,b][a,b] and let P={a=x0<x1<<xn=b}P=\{a=x_0<x_1<\cdots<x_n=b\} be a partition. On each subinterval [xi1,xi][x_{i-1},x_i] put

Mi=sup[xi1,xi]f,mi=inf[xi1,xi]f,Δxi=xixi1.M_i=\sup_{[x_{i-1},x_i]} f, \qquad m_i=\inf_{[x_{i-1},x_i]} f, \qquad \Delta x_i = x_i-x_{i-1}.

The upper sum and lower sum are

U(P,f)=i=1nMiΔxi,L(P,f)=i=1nmiΔxi.U(P,f)=\sum_{i=1}^{n} M_i\,\Delta x_i, \qquad L(P,f)=\sum_{i=1}^{n} m_i\,\Delta x_i.

The upper and lower integrals are abf=infPU(P,f)\overline{\int}_a^b f=\inf_P U(P,f) and abf=supPL(P,f)\underline{\int}_a^b f=\sup_P L(P,f); ff is Riemann integrable iff these are equal.

Riemann's criterion. ff is integrable on [a,b][a,b]     \iff for every ε>0\varepsilon>0 there is a partition PP with U(P,f)L(P,f)<εU(P,f)-L(P,f)<\varepsilon.

Proof. (\Leftarrow, sufficiency) Suppose for each ε>0\varepsilon>0 such a PP exists. Since always

L(P,f)abfabfU(P,f),L(P,f)\le \underline{\int}_a^b f \le \overline{\int}_a^b f \le U(P,f),

we get 0abfabfU(P,f)L(P,f)<ε0\le \overline{\int}_a^b f - \underline{\int}_a^b f \le U(P,f)-L(P,f)<\varepsilon. As ε>0\varepsilon>0 is arbitrary, abf=abf\overline{\int}_a^b f=\underline{\int}_a^b f, so ff is integrable.

(\Rightarrow, necessity) Suppose ff is integrable, so ==I\overline{\int}=\underline{\int}=I. Given ε>0\varepsilon>0, by definition of inf and sup there exist partitions P1,P2P_1,P_2 with

U(P1,f)<I+ε2,L(P2,f)>Iε2.U(P_1,f)<I+\tfrac{\varepsilon}{2}, \qquad L(P_2,f)>I-\tfrac{\varepsilon}{2}.

Let P=P1P2P=P_1\cup P_2 be their common refinement. Refinement decreases upper sums and increases lower sums, so U(P,f)U(P1,f)U(P,f)\le U(P_1,f) and L(P,f)L(P2,f)L(P,f)\ge L(P_2,f). Hence

U(P,f)L(P,f)U(P1,f)L(P2,f)<(I+ε2)(Iε2)=ε.U(P,f)-L(P,f) \le U(P_1,f)-L(P_2,f) < \left(I+\tfrac\varepsilon2\right)-\left(I-\tfrac\varepsilon2\right)=\varepsilon.

Thus the required partition exists. \blacksquare

riemann-integrationriemann-sumsintegrability-criterion
B

Group B

Attempt ALL questions. The figures in the margin indicate full marks.

5 questions·7 marks each
6long7 marks

Define supremum and infimum of a set of real numbers with an example of each. State the completeness axiom of the real number system. Prove that if aa and bb are real numbers such that a<ba < b, there is a rational number rr such that a<r<ba < r < b. [2+1+4][2+1+4]

OR

Define countable and uncountable sets with an example of each. Prove that the set of all real numbers between 00 and 11 is uncountable.

Supremum and infimum. For SRS\subseteq\mathbb{R} bounded above, the supremum supS\sup S is the least upper bound: u=supSu=\sup S if (i) xux\le u for all xSx\in S, and (ii) for every ε>0\varepsilon>0 there is xSx\in S with x>uεx>u-\varepsilon. Similarly the infimum infS\inf S is the greatest lower bound. Examples: for S=(0,1)S=(0,1), supS=1\sup S=1 and infS=0\inf S=0 (neither attained).

Completeness axiom. Every nonempty subset of R\mathbb{R} that is bounded above has a least upper bound (supremum) in R\mathbb{R}.

Density of rationals. Claim: if a<ba<b then there exists rQr\in\mathbb{Q} with a<r<ba<r<b.

Proof. Since ba>0b-a>0, by the Archimedean property there is nNn\in\mathbb{N} with n(ba)>1n(b-a)>1, i.e. 1n<ba\tfrac1n<b-a. Again by the Archimedean property the set of integers mm with m>nam>na is nonempty and bounded below, so it has a least element mm; thus

m1na<m.m-1\le na < m.

Then na<mna+1na<m\le na+1, so dividing by nn,

a<mna+1n<a+(ba)=b.a<\frac{m}{n}\le a+\frac1n < a+(b-a)=b.

Hence r=mnr=\frac{m}{n} is rational and a<r<ba<r<b. \blacksquare

OR — Countable and uncountable sets. A set is countable if it is finite or in bijection with N\mathbb{N} (e.g. Z\mathbb{Z}, Q\mathbb{Q} are countable). A set is uncountable if it is not countable (e.g. R\mathbb{R}, or (0,1)(0,1)).

Cantor's diagonal proof that (0,1)(0,1) is uncountable. Suppose, for contradiction, (0,1)(0,1) is countable, so its elements can be listed as x1,x2,x3,x_1,x_2,x_3,\dots Write each in decimal:

xk=0.ak1ak2ak3x_k = 0.\,a_{k1}a_{k2}a_{k3}\dots

(using the non-terminating representation to avoid ambiguity). Construct y=0.b1b2b3y=0.b_1 b_2 b_3\dots where bkb_k is chosen with bkakkb_k\neq a_{kk} and bk{1,,8}b_k\in\{1,\dots,8\} (avoiding 00 and 99). Then y(0,1)y\in(0,1), but yy differs from each xkx_k in the kk-th digit, so yxky\neq x_k for all kk — contradicting that the list contained every element of (0,1)(0,1). Hence (0,1)(0,1) is uncountable. \blacksquare

supremum-infimumcompleteness-axiomdensity-of-rationals
7long7 marks

Define a monotonic sequence in R\mathbb{R} with an example. If a sequence is monotonically increasing and bounded above, then prove that it is convergent and converges to its least upper bound. Test whether the sequence {nn+1}\left\{\frac{n}{n+1}\right\} is monotonic or not. [2+3+2][2+3+2]

Monotonic sequence. A sequence {an}\{a_n\} is monotonically increasing if anan+1a_n \le a_{n+1} for all nn, and monotonically decreasing if anan+1a_n \ge a_{n+1} for all nn. A sequence is monotonic if it is either increasing or decreasing. Example: an=na_n=n is increasing; an=1na_n=\frac1n is decreasing.

Monotone Convergence Theorem (increasing, bounded above). Let {an}\{a_n\} be increasing and bounded above. By the completeness axiom the set S={an:nN}S=\{a_n : n\in\mathbb{N}\} has a least upper bound L=supSL=\sup S.

Proof of convergence to LL. Let ε>0\varepsilon>0. Since LL is the least upper bound, LεL-\varepsilon is not an upper bound, so there exists NN with aN>Lεa_N > L-\varepsilon. Because {an}\{a_n\} is increasing, for all nNn\ge N,

Lε<aNanL<L+ε,L-\varepsilon < a_N \le a_n \le L < L+\varepsilon,

so anL<ε|a_n - L|<\varepsilon. Hence anL=supSa_n \to L = \sup S. Thus the sequence converges to its least upper bound. \blacksquare

Test {nn+1}\left\{\dfrac{n}{n+1}\right\}. Compute

an+1an=n+1n+2nn+1=(n+1)2n(n+2)(n+1)(n+2)=1(n+1)(n+2)>0.a_{n+1}-a_n = \frac{n+1}{n+2}-\frac{n}{n+1} = \frac{(n+1)^2 - n(n+2)}{(n+1)(n+2)} = \frac{1}{(n+1)(n+2)} > 0.

Since an+1>ana_{n+1}>a_n for all nn, the sequence is monotonically increasing (and bounded above by 11, with liman=1\lim a_n = 1).

sequencesmonotone-convergenceboundedness
8long7 marks

Let ff, gg and hh be functions defined on some open interval (a,b)(a,b) containing a point cc, and let f(x)g(x)h(x)f(x) \le g(x) \le h(x) except possibly at cc. If limxcf(x)=L\lim_{x\to c} f(x) = L and limxch(x)=L\lim_{x\to c} h(x) = L, then prove that limxcg(x)\lim_{x\to c} g(x) exists and is equal to LL (Squeeze/Sandwich Theorem). Use this theorem to prove that limx0x2sin1x=0\lim_{x\to 0} x^2 \sin\frac{1}{x} = 0. [5+2][5+2]

Squeeze (Sandwich) Theorem. Suppose f(x)g(x)h(x)f(x)\le g(x)\le h(x) for all xx in a deleted neighbourhood of cc, and limxcf(x)=limxch(x)=L\lim_{x\to c} f(x)=\lim_{x\to c} h(x)=L. Then limxcg(x)=L\lim_{x\to c} g(x)=L.

Proof. Let ε>0\varepsilon>0. Since limxcf(x)=L\lim_{x\to c} f(x)=L, there is δ1>0\delta_1>0 such that 0<xc<δ1f(x)L<ε0<|x-c|<\delta_1 \Rightarrow |f(x)-L|<\varepsilon, i.e. Lε<f(x)L-\varepsilon<f(x). Since limxch(x)=L\lim_{x\to c} h(x)=L, there is δ2>0\delta_2>0 such that 0<xc<δ2h(x)<L+ε0<|x-c|<\delta_2 \Rightarrow h(x)<L+\varepsilon. Let δ=min{δ1,δ2}\delta=\min\{\delta_1,\delta_2\} (also small enough that the inequality fghf\le g\le h holds). Then for 0<xc<δ0<|x-c|<\delta,

Lε<f(x)g(x)h(x)<L+ε,L-\varepsilon < f(x) \le g(x) \le h(x) < L+\varepsilon,

so g(x)L<ε|g(x)-L|<\varepsilon. Hence limxcg(x)=L\lim_{x\to c} g(x)=L. \blacksquare

Application. For x0x\neq 0, sin1x1\left|\sin\frac1x\right|\le 1, so

x2x2sin1xx2.-x^2 \le x^2 \sin\frac1x \le x^2.

Since limx0(x2)=0\lim_{x\to 0}(-x^2)=0 and limx0x2=0\lim_{x\to 0} x^2 = 0, by the Squeeze Theorem

limx0x2sin1x=0.\lim_{x\to 0} x^2 \sin\frac{1}{x} = 0. \qquad \blacksquare
limitssqueeze-theorem
9long7 marks

Let ff be continuous on [a,b][a,b] and differentiable on (a,b)(a,b). If f(a)=f(b)f(a)=f(b), then there exists a number c(a,b)c \in (a,b) such that f(c)=0f'(c)=0 (Rolle's Theorem). Interpret it geometrically. Is the continuity of ff at the end-points necessary? Justify your answer. [4+1+2][4+1+2]

Rolle's Theorem. If ff is continuous on [a,b][a,b], differentiable on (a,b)(a,b), and f(a)=f(b)f(a)=f(b), then there exists c(a,b)c\in(a,b) with f(c)=0f'(c)=0.

Proof. Since ff is continuous on the closed bounded interval [a,b][a,b], by the Extreme Value Theorem it attains a maximum MM and minimum mm on [a,b][a,b].

  • Case 1: M=mM=m. Then ff is constant, so f(x)=0f'(x)=0 for every x(a,b)x\in(a,b); any interior point works.
  • Case 2: M>mM>m. Since f(a)=f(b)f(a)=f(b), at least one of the extreme values is attained at an interior point c(a,b)c\in(a,b). As ff is differentiable at cc and cc is a local extremum, by Fermat's theorem f(c)=0f'(c)=0.

In either case there exists c(a,b)c\in(a,b) with f(c)=0f'(c)=0. \blacksquare

Geometrical interpretation. Since f(a)=f(b)f(a)=f(b), the chord joining the endpoints of the graph is horizontal. Rolle's theorem says there is at least one interior point cc where the tangent to the curve is horizontal (parallel to the xx-axis), i.e. f(c)=0f'(c)=0.

Is continuity at the end-points necessary? Yes. All three hypotheses are essential. If ff fails to be continuous at an end-point the conclusion can fail. Example: define ff on [0,1][0,1] by f(x)=xf(x)=x for 0x<10\le x<1 and f(1)=0f(1)=0. Then f(0)=f(1)=0f(0)=f(1)=0 and ff is differentiable on (0,1)(0,1), but ff is not continuous at the end-point x=1x=1, and f(x)=10f'(x)=1\neq 0 everywhere on (0,1)(0,1) — so no such cc exists. This shows continuity on the closed interval (including the end-points) is required.

rolles-theoremdifferentiabilitymean-value
10long7 marks

Define primitives and integrals of a function. Distinguish between them by taking a suitable example. Let ff be a function integrable on a closed interval [a,b][a,b] and let F(x)=axf(t)dt, x[a,b]F(x) = \int_a^x f(t)\,dt,\ x \in [a,b]; prove that F(x)F(x) is continuous on [a,b][a,b]. [1.5+1.5+4][1.5+1.5+4]

OR

State the first and second fundamental theorems of integral calculus. Prove the second fundamental theorem. Evaluate 03x+1dx\int_0^3 \sqrt{x+1}\,dx by using the second fundamental theorem. [1.5+4+1.5][1.5+4+1.5]

Primitive vs. integral. A primitive (antiderivative) of ff is a function GG with G(x)=f(x)G'(x)=f(x) on the interval; this is the indefinite integral f(x)dx=G(x)+C\int f(x)\,dx = G(x)+C. The (definite) integral abf(x)dx\int_a^b f(x)\,dx is a number — the limit of Riemann sums — representing (signed) area. Example: for f(x)=2xf(x)=2x, a primitive is G(x)=x2G(x)=x^2 (a function), whereas the definite integral 012xdx=1\int_0^1 2x\,dx = 1 (a number).

Continuity of F(x)=axfF(x)=\int_a^x f. Since ff is integrable on [a,b][a,b], it is bounded: f(t)M|f(t)|\le M for some M>0M>0. For x,y[a,b]x, y\in[a,b] with (say) y>xy>x,

F(y)F(x)=xyf(t)dtxyf(t)dtMyx.|F(y)-F(x)| = \left|\int_x^y f(t)\,dt\right| \le \int_x^y |f(t)|\,dt \le M|y-x|.

Given ε>0\varepsilon>0, take δ=εM\delta=\dfrac{\varepsilon}{M}; then yx<δF(y)F(x)<ε|y-x|<\delta \Rightarrow |F(y)-F(x)|<\varepsilon. Hence FF is (uniformly) continuous on [a,b][a,b]. \blacksquare

OR — Fundamental theorems of calculus.

First FTC. If ff is continuous on [a,b][a,b] and F(x)=axf(t)dtF(x)=\int_a^x f(t)\,dt, then FF is differentiable on (a,b)(a,b) and F(x)=f(x)F'(x)=f(x).

Second FTC. If ff is continuous on [a,b][a,b] and GG is any primitive of ff (i.e. G=fG'=f), then

abf(x)dx=G(b)G(a).\int_a^b f(x)\,dx = G(b)-G(a).

Proof of the second FTC. Let GG be a primitive of ff, and set F(x)=axf(t)dtF(x)=\int_a^x f(t)\,dt. By the first FTC, F(x)=f(x)=G(x)F'(x)=f(x)=G'(x), so (FG)=0(F-G)'=0 on (a,b)(a,b); hence F(x)G(x)=kF(x)-G(x)=k (constant). At x=ax=a, F(a)=0F(a)=0, so k=G(a)k=-G(a), giving F(x)=G(x)G(a)F(x)=G(x)-G(a). Putting x=bx=b,

abf(x)dx=F(b)=G(b)G(a).\int_a^b f(x)\,dx = F(b) = G(b)-G(a). \qquad \blacksquare

Evaluation. With f(x)=x+1f(x)=\sqrt{x+1}, a primitive is G(x)=23(x+1)3/2G(x)=\frac{2}{3}(x+1)^{3/2}. Then

03x+1dx=[23(x+1)3/2]03=23(43/213/2)=23(81)=143.\int_0^3 \sqrt{x+1}\,dx = \left[\tfrac{2}{3}(x+1)^{3/2}\right]_0^3 = \tfrac{2}{3}(4^{3/2}-1^{3/2}) = \tfrac{2}{3}(8-1) = \frac{14}{3}.
fundamental-theorem-of-calculusprimitivesintegration

Frequently asked questions

Where can I find the BSc CSIT (TU) B.Sc. Mathematics (Model) question paper 2079?
The full BSc CSIT (TU) B.Sc. Mathematics (Model) 2079 (model) question paper is available free on Kekkei. You can read every question online and attempt the paper under timed exam conditions.
Does the B.Sc. Mathematics (Model) 2079 paper come with solutions?
Yes. Every question on this B.Sc. Mathematics (Model) past paper includes a step-by-step solution, plus instant AI feedback when you attempt it on Kekkei.
How many marks is the BSc CSIT (TU) B.Sc. Mathematics (Model) 2079 paper?
The BSc CSIT (TU) B.Sc. Mathematics (Model) 2079 paper carries 100 full marks and is meant to be completed in 180 minutes, across 10 questions.
Is practising this B.Sc. Mathematics (Model) past paper free?
Yes — reading and attempting this B.Sc. Mathematics (Model) past paper on Kekkei is completely free.