Samer Adeeb » Mathematical Preliminaries

Mathematical Preliminaries

Mathematical Symbols:

The following are the mathematical symbols used throughout these online material.

Curly brackets are used to designate sets. For example $A=\{1,2,3\}$ is the set of the three elements 1, 2, and 3.
We use the symbol $\in$ to designate elements in sets. For example, if $A=\{1,2,3\}$ , then $1\in A$ .
The symbol $\subset$ means “subset of” and is used to indicate that the elements of one set are elements of another set. For example, if $A=\{1,2,3\}$ and $B=\{1,2,3,4,5,6\}$ , then $A\subset B$ .
Sets can be defined using properties listed within the curly brackets. For example, we can define the set $A=\{x | x\mbox{ is a day of the week}\}$ . This means that $A=\{Sunday, Monday, Tuesday, Wednesday, Thursday, Friday, Saturday\}$ .
$\mathbb{N}$ is used to designate the set of natural numbers starting from 1. i.e., $N=\{1,2,3,\cdots\}$ .
$\mathbb{Z}$ is used to designate the set of integers. i.e., $\mathbb{Z}=\{\cdots,-3,-2,-1,0,1,2,3,\cdots\}$ .
$\mathbb{Q}$ is used to designate the set of rational numbers. i.e., $\mathbb{Q}=\left\{\frac{a}{b}|a,b\in \mathbb{Z},b\neq 0\right\}$ .
$\mathbb{R}$ is used to designate the set of real numbers.
Box brackets are used to designate (closed) intervals in real numbers. For example, $A=[0,1]$ is the set of real numbers between 0 and 1 and including both 0 and 1.
Round brackets are used to designate (open) intervals in real numbers. for example, $B=(0,1]$ is the set of real numbers between 0 and 1 and including 1.
The symbol $\forall$ means “for every” and is usually used to designate a property of all the elements of a set. For example, if we say that $A=\{1,2,3\}$ , we can describe the fact that all the elements in $A$ are greater than zero by stating: $\forall x\in A:x>0$ .
The symbol $\exists$ means “exists” and is used to identify particular elements in sets. For example, if $A=\{1,2,3\}$ we can say that $\exists x\in A$ such that $x>0$ , i.e., there exists an element in the set $A$ which is greater than 0.
The symbol $\exists!$ means “exists and unique” and is used to identify a unique element in a set. For example, if $A=\{1,2,3\}$ we can say that $\exists! x\in A$ such that $x>2$ , i.e., there exists one element and one element only in the set $A$ which is greater than 2.
To define functions or maps between sets, we use $\rightarrow$ . If $A$ is a set and $B$ is another set, then a function that maps elements of $A$ into elements of $B$ is defined with the notation $f:A\rightarrow B$ .
If $f:A\rightarrow B$ , then, the arrow $\mapsto$ is used to designate that a function $f$ maps the element $x\in A$ to $f(x)\in B$ as follows $f:x\in A\mapsto f(x)\in B$ .
The symbol $\times$ is used in many contexts. One of them is the cross product which will be defined later. Another is for defining the set of ordered pairs. For example, if $A$ and $B$ are two sets. Then, the set $C=A\times B$ is the set made of ordered pairs $(x,y)$ with $x\in A$ and $y\in B$ . For example if $A=\{1,2\}$ and $B=\{3,4,5\}$ , then $C=A\times B=\{(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)\}$ . The set $\mathbb{R}^2=\mathbb{R}\times \mathbb{R}$ is the set of ordered pairs of real numbers and geometrically designates a plane. Similarly, $\mathbb{R}^3=\mathbb{R}\times \mathbb{R}\times \mathbb{R}$ is the set representing the three dimensional space.
$\mbox{Statement 1}\Leftrightarrow \mbox{Statement 2}$ is used to designate equivalence of statements 1 and 2(if and only if). For example: $A\subset \mathbb{R}$ is equivalent to $\forall x\in A:x\in \mathbb{R}$ . So, this can be written as: $A\subset \mathbb{R} \Leftrightarrow \forall x\in A:x\in \mathbb{R}$ .
$\mbox{Statement 1}\Rightarrow \mbox{Statement 2}$ is used to describe that statements 1 leads to statement 2. For example: $A=\{1,2,3\}$ leads to the statement $A\subset \mathbb{N}$ . So, this can be written as: $A=\{1,2,3\} \Rightarrow A\subset \mathbb{N}$ .
The Kronecker delta $\delta_{ij}$ is a special symbol which gives a value of either 0 or 1 depending on the subscripts $i$ and $j$ . Usually $i$ and $j$ can take values of 1, 2, or 3 and
$\delta_{ij}= \begin{cases} 1 & i=j\\ 0 & i\neq j \end{cases}$
The alternator $\varepsilon_{ijk}$ is a special symbol which gives a value of either 0, 1, or -1 depending on the subscripts $i$ , $j$ , and $k$ . Usually $i$ , $j$ , and $k$ can take values of 1, 2, or 3 and
$\varepsilon_{ijk}= \begin{cases} 1 & i,j,k \mbox{ is a cyclic permutation of 1, 2, 3}\\ -1 & i,j,k \mbox{ is a noncyclic permutation of 1, 2, 3}\\ 0 & \mbox{Otherwise} \end{cases}$
Unless stated explicitly, we do not differentiate between the column or row representation of vectors in $\mathbb{R}^n$ . The curly brackets are also used for the row representation of vectors to be consistent with how Mathematica defines a vector. Therefore, the following are equivalent for the three dimensional vector $x$ with components $x_1$ , $x_2$ , and $x_3\in\mathbb{R}$ :
$x=\left(\begin{array}{c}x_1\\x_2\\x_3\end{array}\right)=\{x_1,x_2,x_3\}=(x_1,x_2,x_3)$

The Set of Real Numbers:

The properties of the set of real numbers $\mathbb{R}$ is crucial for the study of continuum mechanics. In essence, the set of real numbers $\mathbb{R}$ is the link between what we call a “number” and the quantity along a continuum. An interested reader should consult with the Wikipedia page on real numbers. The development of the real numbers is a prerequisite for the mathematical description of a continuum. An intuitive illustration for this is to think of the continuous line geometrically as a continuum such that between any two points on the line, there is always another point. Similarly, the real numbers is this representation since for every two real numbers, there is always another real number lying in between. This analogy allows the representation of the line using $\mathbb{R}$ . The following properties of $\mathbb{R}$ are going to be used and extended to linear vector spaces in linear algebra:

The Set of Real Numbers is Closed under Addition:
If two real numbers are added, the result is always another real number. So, we say that the set of real numbers is closed under addition.
The Set of Real Numbers is Closed under Multiplication:
If two real numbers are multiplied, the result is always another real number. So, we say that the set of real numbers is closed under multiplication.
The Set of Real Numbers Has a “Zero” Element:
0 is a unique element of the real numbers. It is the neutral element of addition since if any element is added to zero, the result is that element. i.e., $\forall x\in \mathbb{R}:x+0=x$ .
Every Element in the Real Numbers Has an Inverse Element of Addition:
Indeed, if $x\in\mathbb{R}$ , then $-x\in\mathbb{R}$ and $x+(-x)=0$ .

Types of Maps:

Maps or functions between sets can be injective, surjective, bijective, or none of the above.

Injective Maps:

An injective map also called “one-to-one” is a map that designates a unique image for every element. Let $T:X\rightarrow Y$ . $T$ is injective if $\forall x\in X:\exists!y\in Y$ such that $T(x)=y$ .

Surjective Maps:

A surjective map also called “onto” is a map such that every element in the codomain has a pre-image. Let $T:X\rightarrow Y$ . $T$ is surjective if $\forall y\in Y:\exists x\in X$ such that $T(x)=y$ . In other words, there is always a preimage for all the elements in $Y$ .

Bijective Maps:

A bijective map also called “invertible” is a map such which is both injective and surjective. An bijective maps is a map that can be inverted, i.e., let $T:X\rightarrow Y$ . $T$ is bijective, then, there exists $G:Y\rightarrow X$ such that $G=T^{-1}$ . I.e., $G(T(x))=x$ .

Examples:

For example, let $A=\mbox{set of students in CivE 398}$ and $B=\mbox{Set of IDs at the University of Alberta}$ . The map $f:A\rightarrow B$ assigns every student a unique ID in the set of IDs of students at the University of Alberta. This map is injective or one-to-one since each student has his/her own unique ID. However, this map is not surjective (onto) because there are IDs in $B$ that are not assigned to students in $A$ .
Similarly, let $A=\mbox{set of students in CivE 398}$ and $B=\{male,female\}$ . There is a surjective map between the students in the class and the gender types as there are both male and female students taking CivE 398. Unless there is only one male student and one female student, this map is surjective but not injective. Figure 1 contains some illustrative examples of the above definitions.

Figure 1. Bijective, injective, and surjective maps

Problems:

What do the following sets represent?
- $A=\left\{x\in\mathbb{R}^3\bigg|x=\left(\begin{array}{c}\alpha_1\\\alpha_2\\\alpha_3\end{array}\right),\forall i:0\leq \alpha_i \leq 1\right\}$ .
- $B=\left\{x\in\mathbb{R}^3\bigg|x=\left(\begin{array}{c}\alpha_1\\\alpha_2\\\alpha_3\end{array}\right),0\leq \alpha_1 \leq 2, 0\leq \alpha_2 \leq 1,5\leq \alpha_3 \leq 6 \right\}$ .
- $C=\left\{x\in\mathbb{R}^3\bigg|x=\left(\begin{array}{c}\alpha_1\\\alpha_2\\0\end{array}\right),\forall i:0\leq \alpha_i \leq 1\right\}$ .
- $D=\left\{x\in\mathbb{R}^3\bigg|x=\left(\begin{array}{c}\alpha_1\\\alpha_2\\1-\alpha_2\end{array}\right),\forall i:0\leq \alpha_i \leq 1\right\}$ .
- $E=\left\{x\in\mathbb{R}^3\bigg|x=\left(\begin{array}{c}\alpha_1\\\alpha_1\\\alpha_1\end{array}\right),0\leq \alpha_1 \leq 1\right\}$ .
- $F=\left\{x\in\mathbb{R}^3\bigg|x=\left(\begin{array}{c}t\\t^2\\0\end{array}\right),0\leq t \leq 1\right\}$ .
What is wrong with the following statements? Can you correct them?
- Statement 1: Samer is from Egypt. Statement 2: Samer is from Africa. $\mbox{Statement 1}\Leftrightarrow\mbox{Statement 2}$ .
- Statement 1: John is North American. Statement 2: John is Canadian. $\mbox{Statement 1}\Rightarrow\mbox{Statement 2}$ .
If , , and , then which of the following is true and which is false:
- $B\in A$
- $B\subset A$
- $\forall x \in A:x\in B$
- $\forall x \in B:x\in A$
- $\exists x \in A:x\in C$
- $\exists! x \in A:x\in C$
- $\exists x \in C:x\in B$
Which of the following functions are injective but not surjective, surjective but not injective, bijective, none of the above:
- $f:\mathbb{R}\rightarrow \mathbb{R}:f(x)=x$
- $f:\mathbb{R}\rightarrow \mathbb{R}:f(x)=x^2$
- $f:\mathbb{R}\rightarrow \mathbb{R}:f(x)=|x|$
- $f:\mathbb{R}\rightarrow \mathbb{R}^+\cup \{0\}:f(x)=x^2$
- $f:\mathbb{R}\rightarrow \mathbb{R}^+\cup \{0\}:f(x)=|x|$
- $f:\mathbb{R}^+\cup \{0\}\rightarrow \mathbb{R}:f(x)=x^2$
- $f:\mathbb{R}^+\cup \{0\}\rightarrow \mathbb{R}:f(x)=|x|$
Find a function $f:\mathbb{R}\rightarrow \mathbb{R}$ that is injective but not surjective.
Find a function $f:\mathbb{R}\rightarrow \mathbb{R}$ that is surjective but not injective.

Page Comments

Samer Adeeb says:

August 2, 2015 at 5:51 pm

Good site

Reply
1. Samer Adeeb says:
  
  August 2, 2015 at 5:51 pm
  
  Thanks!
  
  Reply
Suo Si says:

December 8, 2015 at 7:44 pm

usefull

Reply
Okodi Allan says:

February 15, 2016 at 8:15 am

I appreciate the idea of removing the burden of tedious mathematics to reserve the mind for concepts. Hence treating the mind as a resource to be used where it is most needed.

Reply
Jason says:

September 11, 2016 at 11:26 am

For the point “To define functions or maps between sets…”.

I think it’s best to change the capital “A function” to small letter “a function” after the IF sentence to avoid confusion since capital letter A is already used to denote a set.

Thanks,
Jason

Reply
1. Jason says:
  
  September 11, 2016 at 11:27 am
  
  This is under Section 1.1 btw
  
  Reply
  1. Samer Adeeb says:
    
    September 12, 2016 at 1:25 pm
    
    This has been corrected. Thanks!
Stephen Okocha says:

January 13, 2019 at 4:02 pm

These preliminaries are what scare me from advance maths textbooks but with this, I feel ready to take it up and apply the knowledge to FEA. Thanks Sir

Reply
Roman Butov says:

June 17, 2019 at 5:37 am

Great site! Thank you!
Consistent and comprehensive material.

Reply
Simone says:

April 29, 2020 at 8:16 am

Great material!
I ‘m a civil engineering student and these pages are very useful.
Is there a way to enjoy them off-line? There are a lot of pages and I think a PDF version could be very interesting.

Thanks for sharing your work.

Reply
1. Samer Adeeb says:
  
  May 4, 2020 at 6:13 pm
  
  Sorry, I don’t have a PDF version.
  
  Reply
Mechanitian says:

November 24, 2020 at 1:40 am

The way you explained mathematical and mechanical concepts is spot on. Very well done. Many undergrad/grad students who need on (re)sharpening their math skills find this website very useful

Reply
1. Samer Adeeb says:
  
  February 17, 2021 at 12:33 am
  
  Thank you!
  
  Reply