Skip to main content
Mathematics LibreTexts

1.0 : Introduction to the Basic Language of Mathematics

  • Page ID
    10062
  • This page is a draft and is under active development. 

    \( \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}\)

    Introduction

    Mathematical objects come into existence by definitions. These definitions must give an absolutely clear picture of the word. We don't need to prove them. We are going to state some basic facts that are needed in this course:

    Basic Facts:

    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 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.

    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}\).

    Recall that, if \(a\) and \(b\) are real numbers, then

    1. \(a<b\) means that \(a\) is less than \(b.\)
    2. \(a>b\) means that \(a\) is greater than \(b.\)
    3. \(a \leq b\) means that \(a\) is less than or equal to \(b.\)
    4. \(a \geq b\) means that \(a\) is greater than or equal to \(b.\)
    Definitions:
    1. A real number is called positive if it is greater than \(0\).
    2. A real number is called non-negative if it is greater than or equal to \(0\).
    3. An integer \(n\) is an even number if there is an integer \(m\) such that \(n=2m\).
    4. An integer \(n\) is an odd number if there is an integer \(m\) such that \(n=2m+1\).
    5. 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 denoted \(b|a\). Further, \(b\) is called a divisor (factor) of \(a\).
    6. A positive integer \(p\) is called prime if \(p>1\) and the only positive divisors of \(p\) are \(1\) and \(p\).
    7. A positive integer \(n\) is called composite if there is a positive integer \(m\) such that \(1<m< n\) and \(m|n\).

    Mathematical Statements

    Thinking Out Loud:

    Is \(2 \leq 3\) true or false? How do you know? Can you prove it?

    "Knowledge is twofold and consists not only of an affirmation in what is true but in the negation of what is false." -Charles Caleb Colton, Lacon.

    In any study of mathematics, language plays a vital role. Mathematical sentences are critical to any mathematical discussion, which are used to express ideas. A mathematical statement is a declarative sentence that is either true or false, but not both. A statement is sometimes called a proposition. The key to constructing a good mathematical statement is that there must be no ambiguity. To be a statement, a sentence must be true or false. It cannot be both. In mathematics, the truth of a statement is established beyond ANY doubt by a well-reasoned (logical) argument. We build upon the truths already established.

    So, a sentence such as "The house is beautiful" is not a statement, since whether the sentence is true or not is a matter of opinion.

    A question such as "Is it snowing?" is not a statement, because it is a question and is not declaring that something is true.

    Some sentences that are mathematical in nature often are not statements because we may not know precisely what a variable represents. For example, the equation \( 3x + 5 = 10\) is not a statement, since we do not know what \(x \) represents. If we substitute a specific value for \( x\) (such as \(x = 4\)), then the resulting equation, \( 3x + 5 = 10\) is a statement (which is a false statement).

    "There exists a real number x such that \( x^2 + 1 = 0\)" or "\(\exists \, x \in \mathbb{R} \, s.t. x^2 + 1 = 0\)" is a statement because either such a real number exists or such a real number does not exist. In this case, this is a false statement since such a real number does not exist.

    Following are some more examples:

    Example \(\PageIndex{1}\)

    The following are propositions:

    • Zero times any real number is zero.
    • \(1+1 = 2.\)
    • All birds can fly. (This is a false statement, how can you establish that?)

    The following are not propositions:

    • Come here.
    • Who are you?
    • I am lying right now. (This is a paradox, if I'm lying I'm telling the truth and if I'm telling the truth I'm lying).

    Exercise \(\PageIndex{1}\)

    Which of the following are statements (propositions):

    1. I like sports cars.
    2. \( 2+3=6\).
    3. Where are you?
    Answer

    only the second one.

    Notations & Definitions

    • A mathematical statement is a declarative sentence that is either true or false, but not both. A statement is sometimes called a proposition.
    • \(\exists\): mathematical notation for "there exists".
    • \(\in\): mathematical notation indicating a term's inclusion in a set or category.
    • \(\mathbb{R}\): represents the set of Real numbers.
    • \(s.t.\) and: represents such that.

    This page titled 1.0 : Introduction to the Basic Language of Mathematics is shared under a CC BY-NC-SA license and was authored, remixed, and/or curated by Pamini Thangarajah.

    • Was this article helpful?