0.1: Basics
- Page ID
- 7440
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Mathematical objects come into existence by definitions. These definitions must give an absolutely clear picture of the object or concept. We don't need to prove them; we simply need to define them clearly. We are going to state some basic facts that are needed in this course:
Basic Facts on Sets:
- The collection of counting numbers, otherwise known as the collection of natural numbers, is usually denoted by \(\mathbb{N}.\) We write \(\mathbb{N} = \{ 1,2,3,4, \dots\}.\)
- The collection of the integers is usually denoted by \(\mathbb{Z}\) and we write \({\mathbb{Z}} = \{ \dots,-3,-2,-1,0,1,2,3,4, \dots\}.\)
- The collection of the positive integers is usually denoted by \(\mathbb{Z_+}\) and we write \({\mathbb{Z_+}} = \{ 1,2,3,4, \dots\}.\)
- The collection of the negative integers is usually denoted by \(\mathbb{Z_-}\) and we write \({\mathbb{Z_-}} = \{ -1,-2,-3,-4, \dots\}.\)
- The collection of all rational numbers (fractions) is usually denoted by \(\mathbb{Q}\), and we write \({\mathbb{Q}} = \left\{ \frac{a}{b}: a \mbox{ and }b \mbox{ are integers}, \, b \ne 0 \right\}.\)
- The collection of all irrational numbers is denoted by \({\mathbb{Q^c}}\).
- The collection of all real numbers is denoted by \(\mathbb{R}\). This set contains all of the rational numbers and all of the irrational numbers.
Basic Facts:
We shall assume the use of the usual addition, subtraction, multiplication, and division as operations and inequalities (\(<, >, \leq, \geq)\) and equality (\(=\)), are relations on \(\mathbb{R}\).
- The distributive law: If \(a,b\) and \(c\) are real numbers, then \(a(b+c)=ab+ac\) and \((b+c)a=ba+ca.\)
- The commutative law: If \(a\) and \(b\) are real numbers, then \(ab=ba\) and \(a+b=b+a.\)
- The associative law: If \(a,b\) and \(c\) are real numbers, then \(a+(b+c)=(a+b)+c\) and \(a(bc)=(ab)c.\)
- The existence of \(0\): The real number \(0\) exists so that, for any real number \(a, a+0=0+a=a.\)
- The existence of \(1\): The real number \(1\) exists so that, for any real number \(a, a \cdot 1=1 \cdot a=a.\)
- Subtraction: For each real number \(a,\) there exists a real number \(-a,\) so that \(a+(-a)=0=(-a)+a.\)
- Division: For each nonzero real number \(a,\) there exists a real number \(\displaystyle\frac{1}{a},\) so that \(a\left(\frac{1}{a}\right)=\left(\frac{1}{a}\right)a=1.\)
The laws above form the foundation of arithmetic and algebra of real numbers. They are the laws that we have accepted and used with no reserve. They are mentioned here to encourage the reader to develop an appreciation for them and an awareness that they must be respected in all calculations involving real numbers. Further, there are rules of precedence which help us to calculate any valid arithmetic expression. For example, if given the following \(6 \div 2 \times 5-\dfrac{7}{5}-3\), we will apply the rule to calculate.
Example \(\PageIndex{1}\):
Evaluate \(6 \div 2 \times 5-\dfrac{7}{5}-3\).
Solution
\(6 \div 2 \times 5-\dfrac{7}{5}-3= (( 6 \div ( 2 \times 5))- (7 \div 5))-3=-\dfrac{16}{5}.\)
Rules of Precedence
1. Functions are evaluated first.
2. Expressions inside parentheses or brackets are evaluated next.
3. Multiplication and division are next and evaluated left to right.
4. Addition and subtraction are last and are evaluated left to right.
In short form:
Order of Operations
B Brackets
E Exponents
D Division
M Multiplication
An Addition
S Subtraction
Recall that, if \(a\) and \(b\) are real numbers or \(a, \, b \in \mathbb{R}\) as written in mathematical language, then
- \(a < b\) means that \(a\) is less than \(b.\)
- \(a > b\) means that \(a\) is greater than \(b.\)
Definitions:
- A real number is positive if greater than \(0\).
- A real number is called non-negative if it is greater than or equal to \(0\).
- An integer \(n\) is an even number if there is an integer \(m\) such that \(n=2m\).
- An integer \(n\) is an odd number if there is an integer \(m\) such that \(n=2m+1\).
- An integer \(a\) is said to be divisible by an integer \(b\) if there is an integer \(m\) such that \(a=bm\). In this case, we can say that \(b\) divides \(a\) and is denoted \(b|a\). Further, \(b\) is called a divisor (factor) of \(a\).
- A positive integer \(p\) is called prime if \(p>1\) and the only positive divisors of \(p\) are \(1\) and \(p\).
- A positive integer \(n\) is called composite if there is a positive integer \(m\) such that \(1<m< n\) and \(m|n\).
Note
Note that \(1\) is neither prime nor composite.
Axioms for Inequalities
The following are axioms for inequalities:
- Trichotomy Law: if \( x \) and \( y \) are real numbers, then one and only one of the three statements \(x < y, x = y\) and \(y < x\) is true.
- Transitivity: if \(x, y \) and \(z\) are real numbers and if \( x < y\) and \(y < z\) then \(x < z.\)
- if \(x, y \) and \(z\) are real numbers and if \( x < y\) then \(x + z < y + z.\)
- if \( x \) and \( y \) are real numbers which satisfy \(0 < x \) and \( 0 < y\) then \( 0 < xy.\)
Definition:
A theorem is a declarative statement about mathematics for which there is proof.