0% found this document useful (0 votes)
74 views4 pages

UCLA Mathematics Basic Exam Spring 2024

Hi

Uploaded by

rmknupp
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
74 views4 pages

UCLA Mathematics Basic Exam Spring 2024

Hi

Uploaded by

rmknupp
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

Name:

Student ID Number:

UCLA MATHEMATICS – BASIC EXAM: SPRING 2024

GRADING: The exam is four hours long, and has 12 questions, 6 in


analysis and 6 in linear algebra. Each question is worth 10 points. A
score of at least 70 points on the exam, with at least 6 near complete (9
or 10 points) answers, including at least 3 in each of the areas (analysis,
linear algebra), typically ensures a passing grade.

INSTRUCTIONS: Do any 10 of the following questions. If you


attempt more than 10 questions, indicate which ones you would like to
be considered for credit (otherwise the first 10 will be taken). Little or
no credit will be given for answers without adequate justification. You
have 4 hours. Good luck.

NOTATION: We denote by N = 1, 2 . . . the natural numbers, and


by R and C the sets of real and complex numbers, respectively.

# Score Counts in 10?


1
2
3
4
5
6
7
8
9
10
11
12
Total 10
1
2 UCLA MATHEMATICS BASIC EXAM: SPRING 2024

Linear Algebra

1. Let A be a real n × n matrix. Suppose that for all invertible real


n × n matrices B, we have tr (AB) = 0. Prove that A = 0.

2. Suppose that ⃗x(t) ∈ Rn satisfies the system of differential equations


x′1 (t) = x2 (t)−x1 (t), x′2 (t) = x3 (t)−x2 (t), ... x′n (t) = x1 (t)−xn (t),
for all t ≥ 0 with initial condition ⃗x(0) = (1, 2, . . . , n). Find the limit
of ⃗x(t) as t → ∞.

3. Let V be a finite dimensional inner product space over C. Let L be


a normal operator on V . Given a value z ∈ C and a unit vector v ∈ V ,
prove that L has an eigenvalue λ such that:
∥Lv − zv∥ ≥ |λ − z|.
2
Here ∥v∥ = ⟨v, v⟩.
4. Let v = (1, 1, 1) and let T be the rotation of angle θ ∈ [0, 2π) around
the axis determined by v. The rotation is counterclockwise as viewed
from the point (10, 10, 10) looking toward the origin. Find the matrix
representation of T in the standard basis.
Note: You may write your answer as a product of matrices.

5. Let A be a 3 × 3 real matrix such that det(A) > 0 and At = A−1 .


Show that there exists a nonzero vector v ∈ R3 such that Av = v.

6. Let T be a linear operator on C4 that satisfies the polynomial


identity
T 4 + 4T 3 − 16T − 16I = 0,
where I denotes the identity operator. Assume that
dim(im(T + 2I)) = 2 and dim(im(T − 2I)) = 3.
Provide the Jordan canonical form for the linear operator T . Justify
your answer.
UCLA MATHEMATICS BASIC EXAM: SPRING 2024 3

Analysis

7. Fix g ∈ C([0, 1] × [0, 1]). For a Riemann integrable function


f : [0, 1] → R, we define the operator T via
Z 1
[T f ](x) = g(x, y)f (y)dy.
0
(a) Prove that the function T f is continuous on [0, 1].
(b) Show that the set

S = T f : f is Riemann integrable and sup |f (x)| ≤ 1
x∈[0,1]

is precompact (i.e. its closure is compact) in the space C([0, 1]) equipped
with the uniform metric
d∞ (f1 , f2 ) = sup |f1 (x) − f2 (x)|.
x∈[0,1]

8. Let fn : [0, ∞) → R be a sequence of functions defined recursively


as follows:
Z t
−4t
f1 (t) := 0 and fn+1 (t) = e + fn (s)e−4s ds for n ≥ 1.
0
Show that f (t) = limn→∞ fn (t) exists for all t ≥ 0. Identify the limit
function f (t).

9. Fix two real numbers a1 > b1 > 0 and define sequences {an }∞
n=1 ,

{bn }n=1 via the recurrence relations:
an + b n 2an bn
an+1 = and bn+1 = for all n ≥ 1.
2 an + b n
(1) Prove that
an > an+1 > bn+1 > bn for all n ≥ 1.
(2) Conclude that the two sequences converge and show that
p
lim an = lim bn = a1 b1 .
n→∞ n→∞

10. Let E be an uncountable subset of [0, 1]. Prove that there exist
0 ≤ α < β ≤ 1 such that both the sets
{x ∈ E : x < γ} and {x ∈ E : x > γ}
are uncountable if and only if α < γ < β.
4 UCLA MATHEMATICS BASIC EXAM: SPRING 2024

11. Let f : Q → R be a uniformly continuous function. Prove that


the set
E = {f (x) : x ∈ Q}
is connected. Here A denotes the closure of the set A in R.

12. Let f : [0, 1] → (0, ∞) be a continuous function and let


M = sup f (x).
x∈[0,1]

Show that ! n1
Z 1
lim [f (x)]n dx = M.
n→∞ 0

Common questions

Powered by AI

The key criteria is that T, when considered over all Riemann integrable functions f with sup x ∈ [0,1] |f(x)| ≤ 1, defines a precompact set in C([0,1]) because each Tf is continuous as a consequence of the uniform boundedness and equicontinuity conditions. Compactness in the uniform metric space C([0, 1]) follows from Arzelà–Ascoli theorem, where a sequence of functions from the bounded set {Tf} would have a uniformly convergent subsequence, given the uniform boundedness and equicontinuity of Tf from the definition of the operator T .

The system of differential equations given is cyclic, showing that the vector rotates coordinate values with decaying differences over time, indicating convergence to equilibrium. Specifically, since each change involves subtraction of the term itself and the next, it's a balanced type of decay and equalization. The behavior can be demonstrated by solving the linear homogeneous system and showing that the solutions comprise exponential terms that approach zero as t → ∞. Therefore, this converges to a constant vector where all components are equal, satisfying the initial cyclic ordering given by ⃗x(0) = (1, 2, ..., n).

This result follows from the application of the power mean or asymptotic average convergence. For large n, [f(x)]^n becomes negligible almost everywhere except near where f(x) ≈ sup([0, 1]) f(x). Thus, the integrals become dominated by the supremum value. The continuity of f ensures the existence and finiteness of the supremum. By evaluating the limit of the integral of [f(x)]^n over [0,1] and applying the dominated convergence or a suitable squeezing argument with mean value theorems, one can prove the result where the limit as n tends to infinity thus agrees with M, the supremum value of f(x) over [0, 1].

Uniform continuity of f on Q implies by extension to R (as Q is dense in R) a certain typology of concerning density and path-connectivity. In a uniform continuous scenario, f takes values which form intervals in R given any epsilon delta adherence. Dense subsets like Q leveraged this way, through f maintaining connected image in that every pair of points a, b in E can be connected via images of rational paths in Q due to the uniform continuity and approximation ability. Therefore, E, the closure in R, being unbroken, ensures connectedness by leverage of continuity preservation and the density of rational numbers .

The Jordan canonical form is derived from knowing the roots of the polynomial identity T^4 + 4T^3 - 16T - 16I = 0, which would provide eigenvalues of T. From here, knowing dim(im(T + 2I)) = 2 and dim(im(T - 2I)) = 3, we infer the algebraic multiplicity and the geometric multiplicity of these eigenvalues. The dimensions of these images allow us to determine the rank of the operator at these eigenvalue perturbations, implying the shape and size of the Jordan blocks associated with each eigenvalue. Thus, a detailed analysis by applying these conditions results in correctly determining size and arrangement of the Jordan blocks .

The necessary condition given is that the matrix A must be the zero matrix. This can be proven by considering that for any invertible matrix B, tr(AB) = 0 implies that all eigenvalues of AB are zero, as trace is the sum of eigenvalues. If this holds for all invertible B, it must hold specifically when B is the identity matrix, hence tr(A) = 0. Since trace is linear, this implies all diagonal entries of A must be zero, and given the setup, A must be zero to satisfy this condition universally .

For E, an uncountable subset of [0, 1], to have parts cut by γ within (α, β) where both sides are uncountable, γ must fall in a densely covered central segment segmented by E's uncountable points' density. The measure theoretic properties imply the density of both segments, being uncountable, continuously spans to the endpoints 0 and 1. By the nested intervals theorem/equivalence, any section removal abiding α < γ < β inherently divides E into two significant portions, thus cutting E deeply cannot be resolved to a countably exceptional set without uncountability on both sides .

A normal operator L on a complex inner product space V can be diagonalized with respect to an orthonormal basis of eigenvectors. Given the spectral theorem, for any unit vector v and complex number z, the existence of an eigenvalue λ such that ∥Lv - zv∥ ≥ |λ - z| derives from how the normal operator behaves in terms of eigenvector expansion and spectral radius properties. Particularly, for normal operators, the spectral radius (supremum of |λ_i| for eigenvalues λ_i) characterizes the norm ∥L∥ .

The set of images under Tf remains continuous by the continuity of g(x, y), where continuity of Tf follows directly from the definition of integration as a limit of Riemann sums. The integrability condition makes sense as g bounds the integral transforming over compact unit interval which is Riemann integrable due to g’s continuous mapping over the boxes forming the integration. Transformation properties propagate such that the continuity of Tf, stabilized by fixed bounds and integrability, survives though direct computation techniques aligned with transformations .

By induction, one can show that each term of the sequence is strictly decreasing for n ≥ 1 because the arithmetic mean is always greater than the geometric mean: an > bn and then an+1 = (an + bn)/2 < an and bn+1 = (2anbn)/(an + bn) > bn. This explains the strict ordering an > an+1 > bn+1 > bn. Since the sequences are monotonically decreasing and bounded below by zero, they converge. The limit can then be evaluated as the point where they equal, hence their common limit is the geometric mean √(a1b1) because the convergence condition derived from these forms aligns with the equality at the geometric mean .

You might also like