Skip to main content
Logo image

Section 6.1 Definitions

Definitions are used in mathematics to label objects that have special properties, and to group all such objects together. Be careful with definitions: as stated by mathematicians, they often contain implicit conditions.

Example 6.1.1.

A number is called prime if its only divisors are 1 and itself.
This definition has some hidden parts: a more complete definition would be as follows.
A number is called prime if
  1. it is an integer,
  2. it is strictly greater than 1, and
  3. there does not exist any other number greater than 1 which divides it.
You should view a definition as a technical test or collection of technical tests that an object must pass before it can be given a specific label.

Worked Example 6.1.2.

Demonstrate that, according to the technical definition of prime, 17 is prime but 21 is not.
Solution.
Let us test 17.
  1. Yes, 17 is an integer.
  2. Yes, 17>1.
  3. None of the numbers in the following list is an integer:
    172,173,174,…,1716,1718,1719,….
So 17 is prime since it passes the technical tests that define the concept of prime.
Now let us test 21.
  1. Yes, 21 is an integer.
  2. Yes, 21>1.
  3. However, clearly 21/3=7 is an integer, so 3 divides 21.
So 21 is not prime, since it fails at least one of the technical tests that define the concept of prime.
Often, the first thing we do in mathematics is to look for ways to make testing our definition easier.
The proof is left to you as Exercise 6.12.1.

Worked Example 6.1.4.

Demonstrate that 17 is prime.
Solution. (Sketch)
By the proposition, to check that 17 is prime we now only need to note that none of the numbers in the following shorter list is an integer:
172,173,174,…178.