Skip to content
CSIR NET Part C

Counterexample bank

Part C is won by knowing which tempting claims are false. 149 counterexamples; 86 free to read right now. Pick your subject below.

Knowing the claim is false is half of it. The mistakes that cost marks shows the wrong options candidates actually pick, and the reasoning slip behind each one.

← All subjects

Analysis & Linear Algebra

“Closed and bounded ⇒ compact”

False — Closed unit ball in ℓ2(\ell^{2} (or in C[0,1] with sup norm)

“Bounded ⇒ totally bounded”

False — R\mathbb{R} with the discrete metric

“Completeness is a topological property”

False — (0,1) and R\mathbb{R}

“Connected ⇒ path-connected”

False — Topologist's sine curve {(x, sin 1/x) : 0 < x ≤ 1} ∪ {0}×[−1,1]

“Continuous on a bounded interval ⇒ bounded”

False — f(x) = 1/x on (0,1)

“Uniformly continuous ⇒ Lipschitz”
“Differentiable ⇒ continuously differentiable”
“Pointwise limit of continuous functions is continuous”
“∑an\sum{}a_{n} convergent ⇒∑an2\Rightarrow \sum{}a_{n}^{2} convergent”
“an→0⇒∑ana_{n} \to 0 \Rightarrow \sum{}a_{n} converges”

False — Harmonic series ∑1/n\sum1/n

“Riemann integrable ⇒ continuous almost everywhere fails for… (i.e. 'bounded ⇒ integrable')”
“A subset of R\mathbb{R} with measure zero is countable”
“Same characteristic polynomial ⇒ similar”

False — 0 matrix and [[0,1],[0,0]]

“Diagonalisable ⇒ invertible”
“Real matrix with real eigenvalues is diagonalisable”

False — [[1,1],[0,1]]

“AB = I ⇒ BA = I for all matrices”
“Every real symmetric matrix is positive definite if det > 0”
“Cesàro means converge ⇒ the sequence converges”

False — an=(−1)na_{n} = (-1)^{n}

“an1/na_{n}^{1/n} →L⇒an\to L \Rightarrow a_{n}₊1/an→L_{1}/a_{n} \to L”
“lim sup⁡(an+bn)=lim sup⁡an+lim sup⁡bn\limsup(a_{n} + b_{n}) = \limsup a_{n} + \limsup b_{n}”

False — an=(−1)n,bn=(−1)na_{n} = (-1)^{n}, b_{n} = (-1)^{n}⁺1^{1}

“∑an\sum{}a_{n} converges ⇒∑an2\Rightarrow \sum{}a_{n}^{2} converges”

False — an=(−1)n/na_{n} = (-1)^{n}/\sqrt{n}

“Ratio test inconclusive ⇒ root test inconclusive”
“Bounded and continuous on R⇒\mathbb{R} \Rightarrow uniformly continuous”

False — f(x)=sin⁡(x2)f(x) = \sin(x^{2})

“Product of uniformly continuous functions is uniformly continuous”
“Same characteristic and minimal polynomial ⇒ similar”

False — 4×4 nilpotent matrices with Jordan blocks of sizes {2, 2} and {2, 1, 1}

“AB and BA have the same minimal polynomial”

False — A = [[0,1],[0,0]], B = [[0,0],[0,1]]

“Commuting matrices are simultaneously diagonalisable”

False — A = B = [[0,1],[0,0]]

“Real matrix diagonalisable over C⇒\mathbb{C} \Rightarrow diagonalisable over R\mathbb{R}”
“If lim f/g exists (0/0 form) then lim f′/g′ exists”

False — f(x)=x2sin⁡(1/x),g(x)=xf(x) = x^{2} \sin(1/x), g(x) = x as x → 0

“f′(x0)=0f'(x_{0}) = 0 and f′ changes sign nowhere near x0⇒fx_{0} \Rightarrow f is constant near x0x_{0}”
“|f| Riemann integrable ⇒ f Riemann integrable”

False — f = 1 on Q∩[0,1],−1\mathbb{Q} \cap [0,1], -1 elsewhere

“A composition of Riemann integrable functions is Riemann integrable”
“fn→ff_{n} \to f uniformly ⇒fn′→f′\Rightarrow f_{n}' \to f'”

False — fn(x)=sin⁡(f_{n}(x) = \sin(nx)/n

“fn→0f_{n} \to 0 pointwise on [0,1]⇒∫01fn→0[0,1] \Rightarrow \int_{0}^{1} f_{n} \to 0”
“∑anxn→L\sum{}a_{n}x^{n} \to L as x → 1⁻ ⇒∑an=L\Rightarrow \sum{}a_{n} = L”

False — ∑(−1)nxn=1/(1+x)→1/2\sum(-1)^{n}x^{n} = 1/(1 + x) \to 1/2

“A power series converges uniformly on its open disc of convergence”
“d(Tx, Ty) < d(x, y) for all x ≠ y on a complete space ⇒ T has a fixed point”

False — T(x) = x + 1/x on [1,∞)[1, \infty)

“A countable dense subset of R\mathbb{R} can be aGδa G_\delta”
“Closure of a path-connected set is path-connected”

False — Graph of sin(1/x) on (0,1]

“Path components are closed”
“Every ordered field is Archimedean”
“If ∫0∞f\int_{0}^\infty f converges then f(x) → 0”

False — f with a spike of height n and width 2/n32/n^{3} at each integer n

“A uniformly bounded sequence in C[0,1] has a uniformly convergent subsequence”

False — fn(x)=xnf_{n}(x) = x^{n}

“If all partial derivatives exist at a point then f is continuous there”

False — f(x,y) = xy/(x2+y2),f(0,0)=0/(x^{2}+y^{2}), f(0,0) = 0

“Mixed partial derivatives are always equal”
“AC1A C^{1} map with everywhere non-zero Jacobian is injective”

False — f(x,y) = (eˣ cos y, eˣ sin y) on R2\mathbb{R}^{2}

“An arbitrary intersection of open sets is open”

False — ∩n≥1(−1/n_{n\ge1}(-1/n, 1/n) = {0}

“A set of measure zero is countable”

False — The Cantor set

“A nowhere dense set has measure zero”
“Pointwise convergence implies convergence of the integrals”

False — fn=n⋅1(0,1/n)f_{n} = n\cdot1_{(0,1/n)} on [0,1]

“Iterated integrals of a measurable function always agree”
“L1[0,1]⊆L2[0,1]L^{1}[0,1] \subseteq L^{2}[0,1]”

False — f(x)=1/xf(x) = 1/\sqrt{x}

“An injective linear operator on a vector space is surjective”

False — The right shift on ℓ2:(x1,x2,… )↦(0,x1,x2,… )\ell^{2}: (x_{1}, x_{2}, \dots) \mapsto (0, x_{1}, x_{2}, \dots)

“Every real matrix has a Jordan form over R\mathbb{R}”

False — The rotation [[0,−1],[1,0]]

“Two matrices with the same characteristic and minimal polynomials are similar”
“A real matrix with all real eigenvalues is orthogonally diagonalisable”

False — [[1,1],[0,1]]

“det A > 0 implies A is positive definite”

False — A = diag(−1, −1)

“There exist matrices with AB − BA = I”

False — Impossible over R\mathbb{R} or C\mathbb{C} in finite dimensions

“Equivalent matrices are similar”

False — A=I2A = I_{2} and B=2I2B = 2I_{2}