Skip to content
PYQ Paper

CSIR NET December 2023 — Part C

All 59 Part C questions we have transcribed from this paper, of the 96 on the site for this sitting — every option and the answer key, with the reasoning for each one.

Part C

One or more correct options. 4.75 marks, no negative marking, and credit only for exactly the right set.

Q1Limit assumed to existSequences: convergence, monotone, Bolzano–Weierstrass, Cauchy

Let x be a real number. Which of the following statements are true?

  1. A.There exists an integer n ≥ 1 such that n2sin⁡(1/n)≥xn^{2} \sin(1/n) \ge x.✓ Correct
  2. B.There exists an integer n ≥ 1 such that n cos(1/n) ≥ x.✓ Correct
  3. C.There exists an integer n ≥ 1 such that n e−ne^{-n} ≥ x.
  4. D.There exists an integer n ≥ 2 such that n (log n)−1n)^{-1} ≥ x.✓ Correct

Solution

n2sin⁡(1/n)n^{2} \sin(1/n) ~ n, n cos(1/n) ~ n and n/log n all tend to +∞+\infty, so each eventually exceeds any x. n e−ne^{-n} ≤ 1/e is bounded, so it fails for x > 1/e.

Save for spaced revision (free account)

Q2Converse assumedContinuity, uniform continuity, Lipschitz

Let f:R→Rf : \mathbb{R} \to \mathbb{R} be a continuous function such that |f(x) − f(y)| ≥ log(1 + |x − y|) for all x,y∈Rx, y \in \mathbb{R}. Which of the following statements are true?

  1. A.f is necessarily one-one.✓ Correct
  2. B.f need not be one-one.
  3. C.f is necessarily onto.✓ Correct
  4. D.f need not be onto.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q3Pointwise vs uniformContinuity, uniform continuity, Lipschitz

Let f:[0,∞)→Rf : [0, \infty) \to \mathbb{R} be the periodic function of period 1 given by f(x) = 1 − |2x − 1| for x ∈ [0, 1], and define g:[0,∞)→Rg : [0, \infty) \to \mathbb{R} by g(x)=f(x2)g(x) = f(x^{2}). Which of the following statements are true?

  1. A.f is continuous on [0,∞)[0, \infty).✓ Correct
  2. B.f is uniformly continuous on [0,∞)[0, \infty).✓ Correct
  3. C.g is continuous on [0,∞)[0, \infty).✓ Correct
  4. D.g is uniformly continuous on [0,∞)[0, \infty).

Solution

f is a continuous tent function with f(0) = f(1) = 0, so its periodic extension is continuous; continuous periodic ⇒ uniformly continuous. g = f∘x2x^{2} is continuous but its oscillations speed up as x→∞(x \to \infty (the tents get compressed), so it is not uniformly continuous.

Save for spaced revision (free account)

Q4Boundary and endpointRiemann integration and criteria

For a real number λ\lambda, consider the improper integrals Iλ=∫01I_\lambda = \int_{0}^{1} dx/(1−x)λ/(1 - x)^\lambda and Kλ=∫1∞K_\lambda = \int_{1}^\infty dx/xλ/x^\lambda. Which of the following statements are true?

  1. A.There exists λ\lambda such that IλI_\lambda converges, but KλK_\lambda does not converge.✓ Correct
  2. B.There exists λ\lambda such that KλK_\lambda converges, but IλI_\lambda does not converge.✓ Correct
  3. C.There exists λ\lambda such that Iλ,KλI_\lambda, K_\lambda both converge.
  4. D.There exists λ\lambda such that neither IλI_\lambda nor KλK_\lambda converges.✓ Correct

Solution

IλI_\lambda converges iff λ<1;Kλ\lambda < 1; K_\lambda converges iff λ>1\lambda > 1.

So they never converge together, and at λ=1\lambda = 1 neither does.

Save for spaced revision (free account)

Q5Hypothesis droppedRiemann integration and criteria

Suppose that f:[−1,1]→Rf : [-1, 1] \to \mathbb{R} is continuous. Which of the following imply that f is identically zero on [−1, 1]?

  1. A.∫\int₋11f(x)xn_{1}^{1} f(x)x^{n} dx = 0 for all n ≥ 0.✓ Correct
  2. B.∫\int₋11f(x)p(x)_{1}^{1} f(x)p(x) dx = 0 for all real polynomials p(x).✓ Correct
  3. C.∫\int₋11f(x)xn_{1}^{1} f(x)x^{n} dx = 0 for all n ≥ 0 odd.
  4. D.∫\int₋11f(x)xn_{1}^{1} f(x)x^{n} dx = 0 for all n ≥ 0 even.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q6Boundary and endpointPointwise vs uniform convergence, M-test, Dini

Let (fn)(f_{n}) be the sequence of functions on [0, 1] defined by fn(x)=xnlog⁡((1+x)/2)f_{n}(x) = x^{n} \log((1 + \sqrt{x})/2). Which of the following statements are true?

  1. A.(fn)(f_{n}) converges pointwise on [0, 1].✓ Correct
  2. B.(fn)(f_{n}) converges uniformly on compact subsets of [0, 1) but not on [0, 1).
  3. C.(fn)(f_{n}) converges uniformly on [0, 1) but not on [0, 1].
  4. D.(fn)(f_{n}) converges uniformly on [0, 1].✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q7openPartial derivatives, differentiability, chain rule

For real numbers a, b, c, d, e, f, consider the function F:R2→R2F : \mathbb{R}^{2} \to \mathbb{R}^{2} given by F(x, y) = (ax + by + c, dx + ey + f). Which of the following statements are true?

  1. A.F is continuous.✓ Correct
  2. B.F is uniformly continuous.✓ Correct
  3. C.F is differentiable.✓ Correct
  4. D.F has partial derivatives of all orders.✓ Correct

Solution

An affine map is Lipschitz (hence uniformly continuous), differentiable with constant derivative, and all higher partials are zero.

Save for spaced revision (free account)

Q8Converse assumedPartial derivatives, differentiability, chain rule

For a differentiable surjective function f : (0,1) → (0,1), consider F:(0,1)2→(0,1)2,F(x,y)=(f(x),f(y))F : (0,1)^{2} \to (0,1)^{2}, F(x, y) = (f(x), f(y)). If f′(x) ≠ 0 for every x ∈ (0,1), which of the following statements are true?

  1. A.F is injective.✓ Correct
  2. B.f is increasing.
  3. C.For every (x′,y′)∈(0,1)2(x', y') \in (0,1)^{2}, there exists a unique (x,y)∈(0,1)2(x, y) \in (0,1)^{2} such that F(x, y) = (x′, y′).✓ Correct
  4. D.The total derivative DF(x, y) is invertible for all (x,y)∈(0,1)2(x, y) \in (0,1)^{2}.✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q9Finite-dimensional intuitionPartial derivatives, differentiability, chain rule

Let p:R2→Rp : \mathbb{R}^{2} \to \mathbb{R} be the function p(x, y) = x. Which of the following statements are true?

  1. A.Let A1=A_{1} = {x2+y2<1x^{2} + y^{2} < 1}. For each γ∈p(A1)\gamma \in p(A_{1}) there exists ε>0\varepsilon > 0 with (γ−ε,γ+ε)⊆p(A1)(\gamma - \varepsilon, \gamma + \varepsilon) \subseteq p(A_{1}).✓ Correct
  2. B.Let A2=A_{2} = {x2+y2≤1x^{2} + y^{2} \le 1}. For each γ∈p(A2)\gamma \in p(A_{2}) there exists ε>0\varepsilon > 0 with (γ−ε,γ+ε)⊆p(A2)(\gamma - \varepsilon, \gamma + \varepsilon) \subseteq p(A_{2}).
  3. C.Let A3=A_{3} = {xy = 0}. For each γ∈p(A3)\gamma \in p(A_{3}) there exists ε>0\varepsilon > 0 with (γ−ε,γ+ε)⊆p(A3)(\gamma - \varepsilon, \gamma + \varepsilon) \subseteq p(A_{3}).✓ Correct
  4. D.Let A4=A_{4} = {xy = 1}. For each γ∈p(A4)\gamma \in p(A_{4}) there exists ε>0\varepsilon > 0 with (γ−ε,γ+ε)⊆p(A4)(\gamma - \varepsilon, \gamma + \varepsilon) \subseteq p(A_{4}).✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q10Hypothesis droppedMeasurable sets and functions

Let {AnA_{n}}n≥1_{n\ge1} be a collection of non-empty subsets of Z\mathbb{Z} such that An∩Am=∅A_{n} \cap A_{m} = \emptyset for m ≠ n. If Z=∪n≥1\mathbb{Z} = \cup_{n\ge1} AnA_{n}, then which of the following statements are necessarily true?

  1. A.AnA_{n} is finite for every integer n ≥ 1.
  2. B.AnA_{n} is finite for some integer n ≥ 1.
  3. C.AnA_{n} is infinite for some integer n ≥ 1.
  4. D.AnA_{n} is countable (finite or infinite) for every integer n ≥ 1.✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q11Invariants don't determineLinear transformations, matrix representation, change of basis

Let T:R5→R5T : \mathbb{R}^{5} \to \mathbb{R}^{5} be an R−\mathbb{R}-linear transformation. Suppose that (1, −1, 2, 4, 0), (4, 6, 1, 6, 0) and (5, 5, 3, 9, 0) span the null space of T. Which of the following statements are true?

  1. A.The rank of T is equal to 2.✓ Correct
  2. B.Suppose that for every vector v∈R5v \in \mathbb{R}^{5} there exists n such that Tnv=0T^{n}v = 0. Then T2T^{2} must be zero.
  3. C.Suppose that for every vector v∈R5v \in \mathbb{R}^{5} there exists n such that Tnv=0T^{n}v = 0. Then T3T^{3} must be zero.✓ Correct
  4. D.(−2, −8, 3, 2, 0) is contained in the null space of T.✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q12Finite-dimensional intuitionBases, dimension, rank–nullity

Let 𝔽 be a finite field and V be a finite dimensional non-zero 𝔽-vector space. Which of the following can NEVER be true?

  1. A.V is the union of 2 proper subspaces.✓ Correct
  2. B.V is the union of 3 proper subspaces.
  3. C.V has a unique basis.
  4. D.V has precisely two bases.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q13Execution slipEigenvalues, characteristic & minimal polynomials, Cayley–Hamilton

Consider A = [[1, 4], [2, 3]]. Suppose A5−4A4−7A3+11A2−A−10I=A^{5} - 4A^{4} - 7A^{3} + 11A^{2} - A - 10I = aA + bI for some a,b∈Za, b \in \mathbb{Z}. Which of the following statements are true?

  1. A.a + b > 8.
  2. B.a + b < 7.✓ Correct
  3. C.a + b is divisible by 2.✓ Correct
  4. D.a > b.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q14Execution slipEigenvalues, characteristic & minimal polynomials, Cayley–Hamilton

Let X, Y be two n × n real matrices such that XY =X2+X+I= X^{2} + X + I. Which of the following statements are necessarily true?

  1. A.X is invertible.✓ Correct
  2. B.X + I is invertible.
  3. C.XY = YX.✓ Correct
  4. D.Y is invertible.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q15openEigenvalues, characteristic & minimal polynomials, Cayley–Hamilton

Let A be an n × n real symmetric matrix. Which of the following statements are necessarily true?

  1. A.A is diagonalizable.✓ Correct
  2. B.If Aᵏ = I for some positive integer k, then A2=IA^{2} = I.✓ Correct
  3. C.If Aᵏ = 0 for some positive integer k, then A2=0A^{2} = 0.✓ Correct
  4. D.All eigenvalues of A are real.✓ Correct

Solution

Spectral theorem: A = QDQᵀ with real D.

Aᵏ = I forces each real eigenvalue to satisfy λk=1\lambda^{k} = 1, so λ=±1\lambda = \pm1 and A2=I;Ak=0A^{2} = I; A^{k} = 0 forces all λ=0\lambda = 0 so A = 0.

Save for spaced revision (free account)

Q16Invariants don't determineJordan canonical form

Suppose a 7 × 7 block diagonal complex matrix A has blocks (0), (1), [[0, 1], [0, 0]] and the 3×3 block with 2πi2\pi{}i on the diagonal, a 1 in position (1,2) and zeros elsewhere, along the diagonal. Which of the following statements are true?

  1. A.The characteristic polynomial of A is x3(x−1)(x−2πi)3x^{3}(x - 1)(x - 2\pi{}i)^{3}.✓ Correct
  2. B.The minimal polynomial of A is x2(x−1)(x−2πi)3x^{2}(x - 1)(x - 2\pi{}i)^{3}.
  3. C.The dimensions of the eigenspaces for 0,1,2πi0, 1, 2\pi{}i are 2, 1, 3 respectively.
  4. D.The dimensions of the eigenspaces for 0,1,2πi0, 1, 2\pi{}i are 2, 1, 2 respectively.✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q17openQuadratic forms, positive definiteness, Sylvester's law

Let A be a real diagonal matrix with characteristic polynomial λ3−2λ2−λ+2\lambda^{3} - 2\lambda^{2} - \lambda + 2. Define a bilinear form ⟨v, w⟩ = vᵗAw on R3\mathbb{R}^{3}. Which of the following statements are true?

  1. A.A is positive definite.
  2. B.A2A^{2} is positive definite.✓ Correct
  3. C.There exists a nonzero v∈R3v \in \mathbb{R}^{3} such that ⟨v, v⟩ = 0.✓ Correct
  4. D.rank A = 2.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q18Standard counterexampleIdeals, quotient rings, prime & maximal ideals, CRT

Let R=Z[X]/(X2+1)R = \mathbb{Z}[X]/(X^{2} + 1) and ψ:Z[X]→R\psi : \mathbb{Z}[X] \to R be the natural quotient map. Which of the following statements are true?

  1. A.R is isomorphic to a subring of C\mathbb{C}.✓ Correct
  2. B.For any prime number p∈Zp \in \mathbb{Z}, the ideal generated by ψ(p)\psi(p) is a proper ideal of R.✓ Correct
  3. C.R has infinitely many prime ideals.✓ Correct
  4. D.The ideal generated by ψ(X)\psi(X) is a prime ideal in R.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q19openIdeals, quotient rings, prime & maximal ideals, CRT

Let n∈Zn \in \mathbb{Z} be such that n ≡ 1 (mod 7) and n ≡ 4 (mod 15). Which of the following statements are true?

  1. A.n ≡ 1 (mod 3).✓ Correct
  2. B.n ≡ 1 (mod 35).
  3. C.n ≡ 1 (mod 21).✓ Correct
  4. D.n ≡ 1 (mod 5).

Solution

n ≡ 4 (mod 15) gives n ≡ 1 (mod 3) and n ≡ 4 (mod 5).

With n ≡ 1 (mod 7), CRT gives n ≡ 1 (mod 21); n ≢ 1 (mod 5) kills the mod-35 claim.

Save for spaced revision (free account)

Q20Base field or ringPolynomial rings and irreducibility tests

Let f(X)=X2+X+1f(X) = X^{2} + X + 1 and g(X)=X2+X−2g(X) = X^{2} + X - 2 be polynomials in Z[X]\mathbb{Z}[X]. Which of the following statements are true?

  1. A.For all prime numbers p, f(X) mod p is irreducible in (Z/pZ)[X](\mathbb{Z}/p\mathbb{Z})[X].
  2. B.There exists a prime number p such that g(X) mod p is irreducible in (Z/pZ)[X](\mathbb{Z}/p\mathbb{Z})[X].
  3. C.g(X) is irreducible in Q[X]\mathbb{Q}[X].
  4. D.f(X) is irreducible in Q[X]\mathbb{Q}[X].✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q21Execution slipGroup actions, class equation, p-groups

Let G be the group (under matrix multiplication) of 2 × 2 invertible matrices with entries from Z/9Z\mathbb{Z}/9\mathbb{Z}. Let a be the order of G. Which of the following statements are true?

  1. A.a is divisible by 343^{4}.✓ Correct
  2. B.a is divisible by 242^{4}.✓ Correct
  3. C.a is not divisible by 48.
  4. D.a is divisible by 363^{6}.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q22openGalois theory essentials

Let f(X)=X3−2∈Q[X]f(X) = X^{3} - 2 \in \mathbb{Q}[X] and let K⊂CK \subset \mathbb{C} be the splitting field of f(X) over Q\mathbb{Q}. Let ω=\omega = e2πi/3e^{2\pi{}i/3}. Which of the following statements are true?

  1. A.The Galois group of K over Q\mathbb{Q} is the symmetric group S3S_{3}.✓ Correct
  2. B.The Galois group of K over Q(ω)\mathbb{Q}(\omega) is the symmetric group S3S_{3}.
  3. C.The Galois group of K over Q\mathbb{Q} is Z/3Z\mathbb{Z}/3\mathbb{Z}.
  4. D.The Galois group of K over Q(ω)\mathbb{Q}(\omega) is Z/3Z\mathbb{Z}/3\mathbb{Z}.✓ Correct

Solution

K=Q(23,ω)K = \mathbb{Q}(\sqrt[3]{2}, \omega) has degree 6 over Q\mathbb{Q} with non-abelian Galois group S3S_{3}; over Q(ω)\mathbb{Q}(\omega) the degree is 3, so the group is Z/3\mathbb{Z}/3.

Save for spaced revision (free account)

Q23Property not inheritedContinuity, homeomorphism, separation axioms

Consider R2\mathbb{R}^{2} with the Euclidean topology and Q2⊂R2\mathbb{Q}^{2} \subset \mathbb{R}^{2} with the subspace topology. Which of the following statements are true?

  1. A.Q2\mathbb{Q}^{2} is connected.
  2. B.If A is a non-empty connected subset of Q2\mathbb{Q}^{2}, then A has exactly one element.✓ Correct
  3. C.Q2\mathbb{Q}^{2} is Hausdorff.✓ Correct
  4. D.{(x,y)∈Q2(x, y) \in \mathbb{Q}^{2} | x2+y2=1x^{2} + y^{2} = 1} is compact in the subspace topology.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q24Standard counterexamplePower series and analyticity

For every n ≥ 1, consider the entire function pn(z)=∑k=0np_{n}(z) = \sum_{k=0}^{n} zᵏ/k!. Which of the following statements are true?

  1. A.The sequence (pn)(p_{n}) converges to an entire function uniformly on compact subsets of C\mathbb{C}.✓ Correct
  2. B.For all n≥1,pnn \ge 1, p_{n} has a zero in the set {z∈Cz \in \mathbb{C} : |z| ≤ 2023}.
  3. C.There exists a sequence (zn)(z_{n}) of complex numbers such that lim |znz_{n}| =∞= \infty and pn(zn)=0p_{n}(z_{n}) = 0 for all n ≥ 1.✓ Correct
  4. D.Let SnS_{n} be the set of all zeros of pnp_{n}. If an=a_{n} = minz∈Snmin_{z\in{}S_{n}} |z|, then an→∞a_{n} \to \infty as n→∞n \to \infty.✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q25Standard counterexampleLiouville, Morera, maximum modulus principle

Let X be an uncountable subset of C\mathbb{C} and let f:C→Cf : \mathbb{C} \to \mathbb{C} be an entire function. Assume that for every z ∈ X there exists an integer n ≥ 1 such that f(n)(z)f^{(n)}(z) = 0. Which of the following statements are necessarily true?

  1. A.f = 0.
  2. B.f is a constant function.
  3. C.There exists a compact subset K of C\mathbb{C} such that f−1(K)f^{-1}(K) is not compact.
  4. D.f is a polynomial.✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q26Standard counterexampleLiouville, Morera, maximum modulus principle

Let Ω1=\Omega_{1} = {z∈Cz \in \mathbb{C} : |z| < 1} and Ω2=C\Omega_{2} = \mathbb{C}. Which of the following statements are true?

  1. A.There exists a holomorphic surjective map f:Ω1→Ω2f : \Omega_{1} \to \Omega_{2}.✓ Correct
  2. B.There exists a holomorphic surjective map f:Ω2→Ω1f : \Omega_{2} \to \Omega_{1}.
  3. C.There exists a holomorphic injective map f:Ω1→Ω2f : \Omega_{1} \to \Omega_{2}.✓ Correct
  4. D.There exists a holomorphic injective map f:Ω2→Ω1f : \Omega_{2} \to \Omega_{1}.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q27Execution slipResidue theorem and standard contour integrals

For an integer k, consider the contour integral Ik=∫∣z∣=1I_{k} = \int_{|z|=1} eᶻ/zᵏ dz. Which of the following statements are true?

  1. A.Ik=0I_{k} = 0 for every integer k.
  2. B.Ik≠0I_{k} \ne 0 if k ≥ 1.✓ Correct
  3. C.|IkI_{k}| ≤ |IkI_{k}₊1_{1}| for every integer k.
  4. D.limk→∞lim_{k\to\infty} |IkI_{k}| =∞= \infty.

Solution

Ik=2πi⋅(I_{k} = 2\pi{}i \cdot (coefficient of zk−1z^{k-1} in eᶻ)=2πi/(k−1)) = 2\pi{}i/(k-1)! for k ≥ 1 and 0 for k ≤ 0.

These values decrease to 0, so (3) and (4) fail.

Save for spaced revision (free account)

Q28Existence vs uniquenessExistence–uniqueness, Picard, Lipschitz

Consider the initial value problem y′ = y + ½|sin⁡(y2)\sin(y^{2})|, x > 0, y(0) = −1. Which of the following statements are true?

  1. A.There exists an α∈(0,∞)\alpha \in (0, \infty) such that limx→α−lim_{x\to\alpha^{-}} |y(x)| =∞= \infty.
  2. B.y(x) exists on (0,∞)(0, \infty) and it is monotone.✓ Correct
  3. C.y(x) exists on (0,∞)(0, \infty), but not bounded below.✓ Correct
  4. D.y(x) exists on (0,∞)(0, \infty), but not bounded above.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q29Existence vs uniquenessExistence–uniqueness, Picard, Lipschitz

Consider the problem y′=(1−y2)10cos⁡y,y(0)=0y' = (1 - y^{2})^{10} \cos y, y(0) = 0. Let J be the maximal interval of existence and K be the range of the solution. Which of the following statements are true?

  1. A.J=RJ = \mathbb{R}✓ Correct
  2. B.K = (−1, 1)✓ Correct
  3. C.J = (−1, 1)
  4. D.K = [−1, 1]

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q30openExistence–uniqueness, Picard, Lipschitz

Consider the initial value problem x2y′′−2x2y′+(4x−2)y=0,y(0)=0x^{2}y'' - 2x^{2}y' + (4x - 2)y = 0, y(0) = 0. Suppose y=φ(x)y = \varphi(x) is a polynomial solution satisfying φ(1)=1\varphi(1) = 1. Which of the following statements are true?

  1. A.φ(4)=16\varphi(4) = 16✓ Correct
  2. B.φ(2)=2\varphi(2) = 2
  3. C.φ(5)=25\varphi(5) = 25✓ Correct
  4. D.φ(3)=3\varphi(3) = 3

Solution

Try y=x2:2x2−4x3+4x3−2x2=0y = x^{2}: 2x^{2} - 4x^{3} + 4x^{3} - 2x^{2} = 0.

So φ(x)=x2\varphi(x) = x^{2}, giving φ(4)=16\varphi(4) = 16 and φ(5)=25\varphi(5) = 25.

Save for spaced revision (free account)

Q31Existence vs uniquenessFirst-order PDE: Lagrange, Charpit, characteristics

Consider the Cauchy problem u⋅ux+uy=1u\cdot{}u_{x} + u_y = 1 for (x,y)∈R×(0,∞)(x, y) \in \mathbb{R} \times (0, \infty), with u(x, 0) = kx, x∈Rx \in \mathbb{R}, for a real parameter k. For which of the following values of k does the problem have a solution defined on R×(0,∞)\mathbb{R} \times (0, \infty)?

  1. A.k = 0✓ Correct
  2. B.k = −2
  3. C.k = 4✓ Correct
  4. D.k = 1✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q32Existence vs uniquenessLaplace, heat and wave equations: separation of variables

Let B be the open unit disc in R2,∂B\mathbb{R}^{2}, \partial{}B its boundary and Bˉ=B∪∂B{\bar{B}} = B \cup \partial{}B. For λ∈(0,∞)\lambda \in (0, \infty), let SλS_\lambda be the set of twice continuously differentiable functions in B, continuous on B̄, satisfying (ux)2+λ(uy)2=1(u_{x})^{2} + \lambda(u_y)^{2} = 1 in B and u = 0 on ∂B\partial{}B. Which of the following statements are true?

  1. A.S1=∅S_{1} = \emptyset✓ Correct
  2. B.S2=∅S_{2} = \emptyset✓ Correct
  3. C.S1S_{1} has exactly one element and S2S_{2} has exactly two elements.
  4. D.S1S_{1} and S2S_{2} are both infinite.

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q33Execution slipInterpolation and numerical integration with error terms

The coefficient of x3x^{3} in the interpolating polynomial for the data x = 0, 1, 2, 3, 4 with y = 1, 2, 1, 3, 5 is

  1. A.−1/3
  2. B.−1/2
  3. C.5/6
  4. D.17/6✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q34Numerical convergenceNumerical ODE: Euler, Runge–Kutta

For the IVP dy/dx =f(x,y),y(x0)=y0= f(x, y), y(x_{0}) = y_{0}, with step size h, let the first iterate of a second-order scheme be y1=y0+y_{1} = y_{0} + Pk1+_{1} + Qk2_{2}, where k1=hf(x0,y0),k2=hf(x0+α0h,y0+β0k1)k_{1} = h f(x_{0}, y_{0}), k_{2} = h f(x_{0} + \alpha_{0}h, y_{0} + \beta_{0}k_{1}) and P,Q,α0,β0∈RP, Q, \alpha_{0}, \beta_{0} \in \mathbb{R}. Which of the following statements are correct?

  1. A.If α0=2\alpha_{0} = 2, then β0=2,P=3/4,Q=1/4\beta_{0} = 2, P = 3/4, Q = 1/4✓ Correct
  2. B.If β0=3\beta_{0} = 3, then α0=3,P=5/6,Q=1/6\alpha_{0} = 3, P = 5/6, Q = 1/6✓ Correct
  3. C.If α0=2\alpha_{0} = 2, then β0=2,P=1/4,Q=3/4\beta_{0} = 2, P = 1/4, Q = 3/4
  4. D.If β0=3\beta_{0} = 3, then α0=3,P=1/6,Q=5/6\alpha_{0} = 3, P = 1/6, Q = 5/6

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q35openEuler–Lagrange equation and standard functionals

Among the curves connecting the points (1, 2) and (2, 8), let γ\gamma be the curve on which an extremal of J[y]=∫12(1+x3y′)y′J[y] = \int_{1}^{2} (1 + x^{3}y') y' dx can be attained. Which of the following points lie on the curve γ\gamma?

  1. A.(2,3)(\sqrt{2}, 3)
  2. B.(2,6)(\sqrt{2}, 6)✓ Correct
  3. C.(3,22/3)(\sqrt{3}, 22/3)✓ Correct
  4. D.(3,23/3)(\sqrt{3}, 23/3)

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q36Existence vs uniquenessEuler–Lagrange equation and standard functionals

Define S = {y∈C1[0,π]:y(0)=y(π)=0y \in C^{1}[0, \pi] : y(0) = y(\pi) = 0}, ‖f‖∞=max⁡_\infty = \max |f|, B0(0,ε)=B_{0}(0, \varepsilon) = {f ∈ S : ‖f‖∞<ε_\infty < \varepsilon} and B1(0,ε)=B_{1}(0, \varepsilon) = {f ∈ S : ‖f‖∞+_\infty + ‖f′‖∞<ε_\infty < \varepsilon}. For the functional J[y]=∫0π(1−(y′)2)y2J[y] = \int_{0}^\pi (1 - (y')^{2}) y^{2} dx, there exists ε>0\varepsilon > 0 such that

  1. A.J[y] ≤ J[0] for all y∈B0(0,ε)y \in B_{0}(0, \varepsilon)
  2. B.J[y] ≤ J[0] for all y∈B1(0,ε)y \in B_{1}(0, \varepsilon)
  3. C.J[y] ≥ J[0] for all y∈B0(0,ε)y \in B_{0}(0, \varepsilon)
  4. D.J[y] ≥ J[0] for all y∈B1(0,ε)y \in B_{1}(0, \varepsilon)✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q37Execution slipFredholm and Volterra equations

Let y be the solution to the Volterra integral equation y(x) = eˣ +∫0+ \int_{0}ˣ ((1+x2)/(1+t2))y(t)((1 + x^{2})/(1 + t^{2})) y(t) dt. Which of the following statements are true?

  1. A.y(1)=(1+π/4)ey(1) = (1 + \pi/4)e
  2. B.y(1)=(1+π/2)ey(1) = (1 + \pi/2)e✓ Correct
  3. C.y(3)=(1+y(\sqrt{3}) = (1 + 3π/4)e33\pi/4)e^{\sqrt{3}}
  4. D.y(3)=(1+y(\sqrt{3}) = (1 + 4π/3)e34\pi/3)e^{\sqrt{3}}✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q38Existence vs uniquenessFredholm and Volterra equations

Consider the Fredholm integral equation y(x)−3∫01txy(t)y(x) - 3\int_{0}^{1} t x y(t) dt = f(x), with f continuous on [0, 1]. Which of the following choices for f(x) have the property that the equation admits at least one solution?

  1. A.f(x)=x2−1/2f(x) = x^{2} - 1/2✓ Correct
  2. B.f(x) = eˣ
  3. C.f(x) = 2 − 3x✓ Correct
  4. D.f(x) = x − 1

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q39Hypothesis droppedHamiltonian formalism and conservation laws

Let q1,q2q_{1}, q_{2} be generalized coordinates and p1,p2p_{1}, p_{2} their conjugate momenta. Let a and b be such that Q1=q1,P1=ap1+16p2,Q2=p2,P2=2q1+bq2Q_{1} = q_{1}, P_{1} = a p_{1} + 16 p_{2}, Q_{2} = p_{2}, P_{2} = 2q_{1} + b q_{2} is a canonical transformation. Which of the following statements are true?

  1. A.a2+b2=2a^{2} + b^{2} = 2✓ Correct
  2. B.a − b = 2✓ Correct
  3. C.a + b = 2
  4. D.a = 1, b = 1

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q40Moments and tailsRandom variables, distributions, moments, MGF

Suppose U ~ Uniform(0,1) and X=tan⁡(π(U−X = \tan(\pi(U - ½)). Then which of the following statements are true?

  1. A.E(X4)=3E(X^{4}) = 3
  2. B.P(X ∈ {1, 2, 5}) = 1/2
  3. C.E(eˣ) does not exist✓ Correct
  4. D.P(X ≤ 0) = 1/2✓ Correct

Solution

X is standard Cauchy: symmetric about 0, continuous (so any finite set has probability 0), and with no finite moments — E(eˣ) diverges too.

Save for spaced revision (free account)

Q41openRandom variables, distributions, moments, MGF

Let X be a discrete random variable with support S = {−1, 0, 1} and P(X = 0) = 1/3. Then which of the following statements are true?

  1. A.E(X) ≤ 2/3✓ Correct
  2. B.E(X2)=2/3E(X^{2}) = 2/3✓ Correct
  3. C.E(|X|) = 2/3✓ Correct
  4. D.Var(X) > 2/3

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q42Boundary and endpointRandom variables, distributions, moments, MGF

Suppose X is a continuous random variable with density f(x)=(1/π)⋅1/(1+(x+1)2)f(x) = (1/\pi)\cdot1/(1 + (x + 1)^{2}), and Y = X/|X| for X ≠ 0, Y = 0 for X = 0. Then which of the following statements are true?

  1. A.E(Y) = 0
  2. B.P(Y > 0) < P(Y < 0)✓ Correct
  3. C.P(Y < −1) < P(Y > 1)
  4. D.E(Y2)=1E(Y^{2}) = 1✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q43Execution slipRandom variables, distributions, moments, MGF

Let X be a discrete random variable with support {0, 1, …, 25} and P(X=x)=C(25,x)/225P(X = x) = C(25, x)/2^{25}. Then which of the following statements are true?

  1. A.The distributions of X − 12.5 and 12.5 − X are identical✓ Correct
  2. B.P(X ≤ 4) = P(X ≥ 22)
  3. C.The coefficient of variation (in percentage) of X is 20✓ Correct
  4. D.P(X ≤ 4.9) = P(X ≥ 20.1)✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q44Dependence misreadJoint distributions, transformations, order statistics

Let Xi(i=1,2)X_{i} (i = 1, 2) be independent with densities fi(x)=if_{i}(x) = i e−ixe^{-ix} for x ≥ 0. Consider a series system of two independent components with lifetimes X1X_{1} and X2X_{2}, and let X denote the lifetime of the system. Which of the following statements are true?

  1. A.P(X > 4) = P(X > 1)P(X > 2)
  2. B.P(X > 4 | X > 2) = P(X > 2)✓ Correct
  3. C.E(X) = 1/3✓ Correct
  4. D.6X ~ χ32\chi^{2}_{3}

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q45Execution slipMarkov chains: classification of states, stationary distributions

Consider an M/M/1 queue with arrival rate λ=15\lambda = 15 per hour and service rate μ=45\mu = 45 per hour. Let N(t) be the number of customers in the system at time t, and T1,T2T_{1}, T_{2} the time a customer spends in the queue and in the system. Which of the following statements are true?

  1. A.limt→∞lim_{t\to\infty} P(N(t) = 1) = 2/9✓ Correct
  2. B.P(T1>0)=1/3P(T_{1} > 0) = 1/3✓ Correct
  3. C.E(T1)=1/90E(T_{1}) = 1/90✓ Correct
  4. D.E(T2)=1/35E(T_{2}) = 1/35

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q46Dependence misreadMarkov chains: classification of states, stationary distributions

Suppose {X(t)} and {Y(t)} are two independent homogeneous Poisson processes with the same rate λ=2\lambda = 2. Let WnW_{n}ˣ and WnW_{n}ʸ be the waiting times for the n-th arrival in each process. Which of the following statements are true?

  1. A.P(W2P(W_{2}ˣ <W3< W_{3}ʸ) = 11/16✓ Correct
  2. B.P(W1P(W_{1}ˣ <W1< W_{1}ʸ) = 1/2✓ Correct
  3. C.P(W2P(W_{2}ˣ <W3< W_{3}ʸ) = 13/16
  4. D.P(W1P(W_{1}ˣ <W1< W_{1}ʸ) = 1/4

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q47Boundary and endpointMLE and method of moments

Let X1,…,XnX_{1}, \dots, X_{n} be a random sample with density f(x|θ)=\theta) = eθ−xe^{\theta-x} for x≥θx \ge \theta, where θ∈R\theta \in \mathbb{R} is unknown. Define X̄ and X(1)=min⁡XiX_{(1)} = \min X_{i}. Which of the following statements are true?

  1. A.X̄ is the method of moments estimator of θ\theta
  2. B.X(1)X_{(1)} is the maximum likelihood estimator of θ\theta✓ Correct
  3. C.X(1)−1/nX_{(1)} - 1/n is the uniformly minimum variance unbiased estimator of θ\theta✓ Correct
  4. D.X(1)X_{(1)} is a sufficient statistic for θ\theta✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q48What the inference meansNeyman–Pearson lemma and UMP tests

Let X1,…,X25X_{1}, \dots, X_{25} be i.i.d. Bernoulli(p), X̄ their mean, T1=5(Xˉ−0.5)/Xˉ(1−Xˉ)T_{1} = 5({\bar{X}} - 0.5)/\sqrt{{\bar{X}}(1 - {\bar{X}})} for 0 < X̄ < 1 (±5 at the endpoints) and T2=10(Xˉ−0.5)T_{2} = 10({\bar{X}} - 0.5). For H0:p=0.5H_{0}: p = 0.5 vs H1:p>0.5H_{1}: p > 0.5, test ψi\psi_{i} rejects iff Ti>2T_{i} > 2. If the observed X̄ ∈ (0.5, 0.75), which of the following statements are true?

  1. A.If ψ1\psi_{1} rejects H0H_{0}, then ψ2\psi_{2} also rejects H0H_{0}
  2. B.If ψ1\psi_{1} does not reject H0H_{0}, then ψ2\psi_{2} also does not reject H0H_{0}✓ Correct
  3. C.If ψ2\psi_{2} rejects H0H_{0}, then ψ1\psi_{1} also rejects H0H_{0}✓ Correct
  4. D.If ψ2\psi_{2} does not reject H0H_{0}, then ψ1\psi_{1} also does not reject H0H_{0}

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q49What the inference meansNeyman–Pearson lemma and UMP tests

Let X1,…,XnX_{1}, \dots, X_{n} be a random sample from N(μ,1)N(\mu, 1). To test H0:μ=μ0H_{0}: \mu = \mu_{0} against H1:μ>μ0H_{1}: \mu > \mu_{0}, consider (A) reject iff Xˉn>c1{\bar{X}}_{n} > c_{1} with Pμ0(Xn>c1)=αP_{\mu_{0}}(X_{n} > c_{1}) = \alpha, and (B) reject iff Median{X1,…,XnX_{1}, \dots, X_{n}} >c2> c_{2} with Pμ0(MedianP_{\mu_{0}}(Median >c2)=α> c_{2}) = \alpha. Which of the following statements are true?

  1. A.The test in (A) is the uniformly most powerful test of size α\alpha✓ Correct
  2. B.The test in (B) is the uniformly most powerful test of size α\alpha
  3. C.Pμ(Xˉn>c1)→1P_\mu({\bar{X}}_{n} > c_{1}) \to 1 as n→∞n \to \infty for all μ>μ0\mu > \mu_{0}✓ Correct
  4. D.Pμ0(MedianP_{\mu_{0}}(Median{X1,…,XnX_{1}, \dots, X_{n}} >μ0)=1/2> \mu_{0}) = 1/2✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q50Boundary and endpointLikelihood ratio and standard tests

For n ≥ 2, let X1,…,XnX_{1}, \dots, X_{n} be from N(μ,σ2)N(\mu, \sigma^{2}) with both unknown, X̄ the mean and S2S^{2} the sample variance. With zαz_\alpha and tm,αt_{m,\alpha} the (1−α)−(1 - \alpha)-th quantiles, which of the following represent 90% confidence intervals for μ\mu?

  1. A.(Xˉ−(S/n)({\bar{X}} - (S/\sqrt{n}) tn−1,0.05t_{n-1,0.05}, Xˉ+(S/n){\bar{X}} + (S/\sqrt{n}) tn−1,0.05)t_{n-1,0.05})✓ Correct
  2. B.(Xˉ−(σ/n)({\bar{X}} - (\sigma/\sqrt{n}) z0.05z_{0.05}, Xˉ+(σ/n){\bar{X}} + (\sigma/\sqrt{n}) z0.05)z_{0.05})
  3. C.[Xˉ−(S/n)[{\bar{X}} - (S/\sqrt{n}) tn−1,0.9t_{n-1,0.9}, ∞)\infty)
  4. D.(−∞,Xˉ−(S/n)(-\infty, {\bar{X}} - (S/\sqrt{n}) tn−1,0.9)t_{n-1,0.9})✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q51Moments and tailsLikelihood ratio and standard tests

Let X1,…,XnX_{1}, \dots, X_{n} be a random sample from an unknown absolutely continuous CDF F, and F0aF_{0} a specified absolutely continuous CDF. For H0:F=F0H_{0}: F = F_{0} vs H1:F≠F0H_{1}: F \ne F_{0}, consider T1,nT_{1,n} = sup_x |Fn(x)−F0(x)F_{n}(x) - F_{0}(x)| and T2,nT_{2,n} = n·sup_x |Fn(x)−F0(x)F_{n}(x) - F_{0}(x)|, where FnF_{n} is the empirical CDF. Which of the following statements are true?

  1. A.T1,nT_{1,n} → 0 in probability as n→∞n \to \infty under H0H_{0}✓ Correct
  2. B.T2,nT_{2,n} → 0 in probability as n→∞n \to \infty under H0H_{0}
  3. C.lim P_F(T2,nT_{2,n} > 1) = 1 for all F✓ Correct
  4. D.T2,nT_{2,n} converges in distribution to a degenerate random variable under H0H_{0}

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q52Hypothesis droppedGauss–Markov, regression, ANOVA basics

Consider the one-way fixed effects ANOVA model Yij=μ+αi+εij,j=1,…,ni;i=1,…,kY_{ij} = \mu + \alpha_{i} + \varepsilon_{ij}, j = 1, \dots, n_{i}; i = 1, \dots, k, with uncorrelated errors of mean 0 and variance σ2\sigma^{2}. Let Ȳi_{i} be the i-th group mean. Which of the following statements are true?

  1. A.(1/∑ni)∑i∑jYij(1/\sum{}n_{i}) \sum_{i}\sum_{j} Y_{ij} is an unbiased estimator of μ\mu
  2. B.2μ+α1+α22\mu + \alpha_{1} + \alpha_{2} is an estimable linear parametric function✓ Correct
  3. C.μ+α1+α2\mu + \alpha_{1} + \alpha_{2} is an estimable linear parametric function
  4. D.(1/n2)∑j(Y2j−(1/n_{2}) \sum_{j} (Y_{2j} - Ȳ2)_{2}) is an unbiased estimator of α2\alpha_{2}

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q53Invariants don't determineGauss–Markov, regression, ANOVA basics

Consider Y=Xβ+εY = X\beta + \varepsilon with X a fixed n × (p + 1) matrix of rank p + 1 and ε\varepsilon ~ Nn(0,σ2I)N_{n}(0, \sigma^{2}I). If β\betâ is the OLS estimator, which of the following statements are true?

  1. A.(1/σ2)YTXβ(1/\sigma^{2}) Y^{T}X\betâ has a central χp+12\chi^{2}_{p+1} distribution
  2. B.(1/σ2)(Y−Xβ(1/\sigma^{2})(Y - X\betâ)T(Y−Xβ)^{T}(Y - X\betâ) has a central χn−p−12\chi^{2}_{n-p-1} distribution✓ Correct
  3. C.XβX\betâ and (Y−Xβ(Y - X\betâ)T(Y−Xβ)^{T}(Y - X\betâ) are independently distributed✓ Correct
  4. D.(1/σ2)∑(Yi−(1/\sigma^{2}) \sum(Y_{i} - Ȳ)2)^{2} has a central χn−12\chi^{2}_{n-1} distribution

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q54Execution slipMultivariate normal distribution

Suppose A=(aij)A = (a_{ij}) ~ W3(5,∑)W_{3}(5, \sum), where ∑=[[2,1,1],[1,2,0],[1,0,2]]\sum = [[2, 1, 1], [1, 2, 0], [1, 0, 2]]. Then which of the following statements are true?

  1. A.a22a_{22} ~ χ32\chi^{2}_{3}
  2. B.½ a22a_{22} ~ χ52\chi^{2}_{5}✓ Correct
  3. C.(1/33)(a11−4a13+4a33)(1/33)(a_{11} - 4a_{13} + 4a_{33}) ~ χ32\chi^{2}_{3}
  4. D.(1/9)(a11−4a13+4a33)(1/9)(a_{11} - 4a_{13} + 4a_{33}) ~ χ52\chi^{2}_{5}

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q55Hypothesis droppedMultivariate normal distribution

Let (X1,Y1),(X2,Y2),(X3,Y3)(X_{1}, Y_{1}), (X_{2}, Y_{2}), (X_{3}, Y_{3}) be i.i.d. bivariate normal with mean (0, 0) and correlation matrix [[1,ρ],[ρ,1]][[1, \rho], [\rho, 1]], |ρ\rho| < 1. Let Sρ=3E(S_\rho = 3E(sgn(X1−X2)(Y1−Y3))(X_{1} - X_{2})(Y_{1} - Y_{3})). Which of the following statements are true?

  1. A.If X1X_{1} and Y1Y_{1} are independent, then Sρ=0S_\rho = 0✓ Correct
  2. B.Sρ=(6/π)sin⁡S_\rho = (6/\pi) \sin⁻1(ρ/2)^{1}(\rho/2)✓ Correct
  3. C.If Sρ=0S_\rho = 0, then X1X_{1} and Y1Y_{1} are independent✓ Correct
  4. D.If X1X_{1} and Y1Y_{1} are independent, then Sρ=1/2S_\rho = 1/2

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q56openSRS, stratified and systematic sampling

Consider a population of 3 units having values 2, 4 and 6. A simple random sample (without replacement) of 2 units is drawn. Let M be the sample mean. Which of the following statements are true?

  1. A.E(M) = 4✓ Correct
  2. B.E(M2)=17E(M^{2}) = 17
  3. C.E(M3)=72E(M^{3}) = 72✓ Correct
  4. D.Var(M) = 1

Solution

M takes the values 3, 4, 5 with probability 1/3 each: E(M)=4,E(M2)=50/3,E(M3)=72,Var(M)=2/3E(M) = 4, E(M^{2}) = 50/3, E(M^{3}) = 72, Var(M) = 2/3.

Save for spaced revision (free account)

Q57Execution slipSRS, stratified and systematic sampling

Two groups G1G_{1} and G2G_{2} have 10 and 30 patients with mean diastolic blood pressures 80 and 100 mmHg and variances 4 and 2 mmHg2^{2}. Let Xˉ,S2,C{\bar{X}}, S^{2}, C and R be the mean, variance (with divisor n), coefficient of variation (%) and range of the combined group. Which of the following statements are true?

  1. A.X̄ = 95✓ Correct
  2. B.S2=77S^{2} = 77
  3. C.C > 180/19
  4. D.R > 8✓ Correct

Trap Analysis has the working, and why each of the other options was written to tempt you.

Q58Standard counterexampleContinuity, uniform continuity, Lipschitz

Which of the following statements are true?

  1. A.f(x) = [x] sin(1/x) for x ≠ 0, f(0) = 0 (where [x] is the integer part) has a discontinuity at 0 which is removable.
  2. B.f:[0,∞)→R,f(x)=sin⁡(log⁡x)f : [0,\infty) \to \mathbb{R}, f(x) = \sin(\log x) for x ≠ 0, f(0) = 0, has a discontinuity at 0 which is NOT removable.✓ Correct
  3. C.f(x) = e1/xe^{1/x} for x < 0, f(x) = e1/(x+1)e^{1/(x+1)} for x ≥ 0, has a jump discontinuity at 0.✓ Correct
  4. D.If f,g:[0,1]→Rf, g : [0,1] \to \mathbb{R} are of bounded variation, then fg has at most countably many discontinuities.✓ Correct

Solution

(1) As x → 0⁻, [x] = −1 and −sin(1/x) oscillates: no left limit, not removable.

(2) sin(log x) oscillates as x → 0⁺.

(3) Left limit 0, right limit e.

(4) A product of BV functions is BV, and BV functions have only countably many (jump) discontinuities.

Save for spaced revision (free account)

Q59openSubgroups, cosets, Lagrange, cyclic groups

Which of the following statements are true?

  1. A.Let G1G_{1} and G2G_{2} be finite groups such that |G1G_{1}| and |G2G_{2}| are coprime. Then any homomorphism from G1G_{1} to G2G_{2} is trivial.✓ Correct
  2. B.Let G be a finite group and f : G → G a homomorphism that fixes more than half of the elements of G. Then f(x) = x for all x ∈ G.✓ Correct
  3. C.Let G be a finite group having exactly 3 subgroups. Then G is of order p2p^{2} for some prime p.✓ Correct
  4. D.Any finite abelian group G has at least d(|G|) subgroups, where d(m) is the number of positive divisors of m.✓ Correct

Solution

(1) the image has order dividing both.

(2) the fixed set is a subgroup of index < 2, hence all of G.

(3) exactly three subgroups forces cyclic of order p2p^{2}.

(4) an abelian group has a subgroup of every order dividing |G|.

Save for spaced revision (free account)