0% found this document useful (0 votes)
12 views3 pages

Mathematics Tutorial 3: Real Analysis & ODEs

The document outlines Tutorial 3 for MA1014 - Mathematics at the University of Moratuwa, covering topics in Real Analysis, Ordinary Differential Equations, and Algebra. It includes problems to prove set identities, solve differential equations, and demonstrate vector properties. The tutorial is structured into sections with specific tasks and examples for students to complete.
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)
12 views3 pages

Mathematics Tutorial 3: Real Analysis & ODEs

The document outlines Tutorial 3 for MA1014 - Mathematics at the University of Moratuwa, covering topics in Real Analysis, Ordinary Differential Equations, and Algebra. It includes problems to prove set identities, solve differential equations, and demonstrate vector properties. The tutorial is structured into sections with specific tasks and examples for students to complete.
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

MA1014 - Mathematics

Tutorial 3
Department of Mathematics
Faculty of Engineering
University of Moratuwa
Semester 1 - 2025

1 Real Analysis
1. Prove the following

(a) (A ∪ B)c = Ac ∩ B c
(b) (A ∩ B)c = Ac ∪ B c
(c) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
(d) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
(e) A ⊂ A ∪ B
(f) A ∩ B ⊂ A
(g) State and prove five more identities like the above.

2. (a) Identify the following axiom in ZFC:


∀x∀y(∀z(z ∈ x ∧ z ∈ y) ⇒ x = y).
(b) Not every collection of objects is a set. Explain the problems with A = {x|x ∈
/ x}.

3. Prove the following

(a) (a, b) = (c, d) ⇔ a = c ∧ b = d


(b) |A × B| = |A| · |B|
(c) |P(A)| = 2|A|
(d) |A ∪ B| = |A| + |B| − |A ∩ B|
(e) A ∩ B = A − (A − B)
(f) A × (B ∩ C) = (A × B) ∩ (A × C)
(g) A × (B ∪ C) = (A × B) ∪ (A × C)
(h) (A × B) − (C × D) = (A × (B − D)) ∪ ((A − C) × B)

4. (a) If A = {1, 2, 3, 4} and B = {2, 3, 4}, find A × B.


(b) Define a relation R : A → B which is many-many, not onto and not everywhere defined. Also
find ran and preran of R.
(c) Let A = {a, b, c} and R : A → A be a relation with
R = {(a, a), (b, b), (c, c), (b, c), (c, b)}. Show that R is an equivalence relation(see the note for
the definition). In an equivalence relation, elements related to each other form disjoint sets
which are called partitions. Find partitions formed by the above relation.
MA1014-24S1 Tutorial 3 Page 2 of 3

2 Ordinary Differential Equations & Riemann Integration


1. Solve the following ordinary differential equations using an appropriate method.
dy x
(a) dx
= y

(b) y ′ = ex y
(c) y ′ = 1
3x+y
dy
(d) dx
= sin(y)ex
dy x2 +1
(e) dx
= y 2 +1
dy x2 +xy
(f) dx
= y 2 +xy
dy 2x+3y+2
(g) dx
= 4x+3y+3

2. Solve the following Initial Value Problems.

(a) y ′ = ex+y : y(0) = 0


x+3y
(b) y ′ = 3x+y
: y(0) = 1
(c) y ′ = 1
x+y
: y(1) = 2
dy 2x+3y+2
(d) dx
= 3x+2y+3
: y(1) = 0
dy x−1
(e) dx
= y−2
: y(0) = 2

3. Solve the following ordinary differential equations (ODEs) using the integrating factor method.

(a) y ′ + y = ex
(b) y ′ − 2y = x2
(c) (2x + 3)y ′ + y = x2
(d) y ′ + x1 y = sin x : y( π2 ) = 2
π
(e) y ′ + ex y = e2x : y(0) = 1

4. Solve the following (Bernoulli) differential equations using the appropriate substitutions.

(a) y ′ + y = y 2
(b) y ′ − 3xy = xy 4
(c) y ′ + x2 y = x2 y 3
(d) (x + 1)y ′ + 2y = xy 2
y
(e) y ′ + x+1
= x2 y 5

5. Find the solutions to the following problems

(a) The rate of spread of a rumor in a city is proportional to the product of the number of people
who have heard it and the number of people who have not. If 10 people know the rumor initially
in a town of 1000 people, and 50 people know it after 2 days, determine how many will have
heard the rumor after 5 days.
(b) A tank initially contains 50 liters of pure water. A salt solution with a concentration of 2 grams
per liter flows into the tank at a rate of 3 liters per minute, while the well-mixed solution is
drained at the same rate. Let y(t) represent the amount of salt (in grams) in the tank at time
t (in minutes). Form and solve the differential equation for y(t).
MA1014-24S1 Tutorial 3 Page 3 of 3

3 Algebra
1. Calculate the magnitude of the sum of the following vectors and determine the unit vector in its
direction.

(a) 2i + j + 4k, 3i − 2j + 7k, 5i + 2j − 3k


(b) 3i + 2j + 5k, 2i − j + 6k, 5i + 2j − 3k
(c) i + j + 3k, 2i − 2j + 6k, 4i + 2j − 4k

2. Find the position vector of a point C that divides the line joining two points, A and B, with position
vectors a + 2b and a − 2b, respectively, in the ratio 1 : 2,

(a) internally.
(b) externally.

3. Show that the line joining the midpoints of two sides of a triangle is parallel to the third side and
half its length.

4. Show that in a trapezium, the straight line joining the midpoints of the diagonals is parallel to the
parallel sides and is half their difference.

5. Find the position vector of the centroid of a triangle ABC, given that the position vectors of A, B,
and C are a, b, and c respectively.

6. Show that the line joining one vertex of a parallelogram to the midpoint of an opposite side trisects
the diagonal and is trisected at that point.

7. Show that the three points A, B, and C with position vectors −2a + 3b + 5c, a + 2b + 3c, and 7a − c
are collinear.

8. Show that three vectors a − 2b + 3c, −2a + 3b − 4c, and −b + 2c are coplanar without using vector
products.

Common questions

Powered by AI

The centroid of a triangle is computed as the average of its vertices' position vectors. If the vertices A, B, C of a triangle have position vectors a, b, and c, respectively, the position vector of the centroid G is given by G = (a + b + c)/3. This formula takes the arithmetic mean of each coordinate of the vertices, providing the central point of the triangle .

A relation is an equivalence relation if it is reflexive, symmetric, and transitive. Given a set A and a relation R on A: R = {(a, a), (b, b), (c, c), (b, c), (c, b)}, it is reflexive since (a, a), (b, b), (c, c) are in R. It is symmetric because for (b, c) in R, (c, b) is also in R. Transitivity holds as if (b, c) and (c, b) are in R, then (b, b) is in R, which satisfies all conditions. Thus, R is an equivalence relation, and partitions of A are {a}, {b, c} .

To solve an initial value problem for an ODE, take y′ = f(x, y), y(x_0) = y_0. Assume y′ = x + 3y and y(0) = 1 as an example. The differential equation is separable into terms involving y and x. Integrate both sides starting from the initial value condition: separate to get dy/(x+3y) = dx, integrate, apply initial conditions to evaluate the constant of integration, and solve for y as a function of x. Following these steps yields an explicit solution for the given differential equation .

De Morgan's Law contains two statements: (A ∪ B)c = Ac ∩ Bc and (A ∩ B)c = Ac ∪ Bc. To prove (A ∪ B)c = Ac ∩ Bc, begin by taking an element x that belongs to (A ∪ B)c, meaning x is not in A ∪ B. Hence, x is neither in A nor B. Therefore, x must be in both Ac and Bc, proving x ∈ Ac ∩ Bc. Conversely, if x is in Ac ∩ Bc, it is not in A and not in B, thus not in A ∪ B, so x ∈ (A ∪ B)c. For (A ∩ B)c = Ac ∪ Bc, a similar argument shows that if x is in (A ∩ B)c, x is not in both A and B, hence must be in at least one of Ac or Bc, completing the proof .

To find the unit vector in the direction of the sum of vectors like 2i + j + 4k, 3i - 2j + 7k, and 5i + 2j - 3k, first sum these vectors: (2+3+5)i + (1-2+2)j + (4+7-3)k = 10i + 1j + 8k. Calculate the magnitude: √(10² + 1² + 8²) = √165. A unit vector in this direction is obtained by dividing each component of the sum by the magnitude, yielding (10/√165)i + (1/√165)j + (8/√165)k .

In ZFC, a set is well-defined by the axioms, yet not all collections satisfying a certain property form sets. ZFC includes axioms like the Axiom of Specification to avoid paradoxes such as Russell's. Sets defined by a property unbounded by existing sets may lead to contradictions; for instance, self-containing sets contradict limitations of well-founded sets. These logical rules counter the intuitive definition of a 'collection' being an automatic set, emphasizing a systematized approach to set construction .

The integrating factor method solves first-order linear ordinary differential equations of the form y′ + P(x)y = Q(x). An integrating factor, μ(x), is chosen as e^(∫P(x)dx), facilitating transformation of the differential equation into a product derivative, μ(x)y = ∫[μ(x)Q(x)]dx. Solving this integral yields the general solution to the differential equation. This method systematically converts a non-exact differential equation into an exact one, enabling straightforward integration .

To show three vectors u, v, w are coplanar without vector products, one can demonstrate that they are linearly dependent, i.e., there exist scalars not all zero such that αu + βv + γw = 0. For u = a - 2b + 3c, v = -2a + 3b - 4c, w = -b + 2c, set up the equation α(a - 2b + 3c) + β(-2a + 3b - 4c) + γ(-b + 2c) = 0. Solve the resulting system: from a, -2α + 2β = 0, for b, -2α + 3β - γ = 0, and for c, 3α - 4β + 2γ = 0. These equations confirm dependence, proving coplanar vectors .

To model the spread of a rumor, use a logistic-type differential equation, reflecting that the rate of change of hearers is proportional to both those who have heard the rumor and those who have not. If P(t) represents people who have heard it, the differential equation is dP/dt = kP(N-P), where N is the total population and k a constant of proportionality. For a town of 1000 people, and initial condition P(0) = 10, with P(2) = 50, integrate the equation to find P(t) = 1000/(1 + 999e^(-kt)). Substituting known values to solve for k and using that to find P(t) after 5 days will give the total number of people who have heard the rumor .

The set A = {x|x ∉ x} leads to the well-known Russell's Paradox. It challenges the foundation of naive set theory. The paradox arises because if such a set A exists, then for any element x, x ∈ A if and only if x ∉ x. This creates a contradiction where x is both a member and not a member of A at the same time. Such paradoxes highlight the necessity for more rigorous axiomatic foundations in set theory, such as the Zermelo-Fraenkel set theory with the Axiom of Choice, which avoids these issues .

You might also like