Uncover the Hidden Truth: Why Rational Numbers Are More Than Just Simple Fractions

Here is a persuasive advertisement for ghostwriting services for math students:

**Get Expert Help with Rational Numbers and Fractions**

Are you struggling to understand quotient sets and equivalent fractions? Do you need help with adding fractions and representing ratios?

Our expert math ghostwriters are here to assist you! With years of experience in math academia, we can help you produce high-quality assignments, essays, and research papers on rational numbers and fractions.

**Our Services:**

* Customized assignments and essays on rational numbers, quotient sets, and equivalent fractions
* Expert help with adding fractions and representing ratios
* Research paper writing on advanced topics in math, including algebra and calculus
* Editing and proofreading services to ensure error-free submissions

**Why Choose Us?**

* Fast turnaround times: Get your work done quickly and efficiently
* High-quality content: Our experts are knowledgeable in math and produce well-researched content
* Confidentiality guaranteed: Your work is kept confidential and secure
* 24/7 customer support: Get help whenever you need it

**Don’t Let Math Anxiety Hold You Back!**

Get expert help today and achieve academic success in math. Order now and let our ghostwriters take care of your rational numbers and fractions assignments!

**Order Now and Get 10% Off Your First Assignment!**

The rational numbers are the first example we usually encounter of an quotient set. For example, “\(\frac{1}{2}\)” and “\(\frac{2}{4}\)” are different literal fractions – they have different numerators and different denominators, so they are not identical – but they represent the same ratio. A rational number is not a single fraction, but an infinite set of fractions each of which can serve as a representative of its set. Indeed, to add fractions it is necessary to select representatives with the same denominator.

Negative numbers are often initially viewed with suspicion – after all, how can anything be less than zero? Of course, in the modern world, all it takes is having a credit card to know that negative numbers are perfectly real. We can also think of negative numbers as telling us direction – a speed of \(-5\) miles per hour indicates that the car is moving at \(5\,\)mph in reverse.

The standard symbols for the sets of integers and rational numbers are \(\mathbb{Z}\) and \(\mathbb{Q}\). The “\(\mathbb{Q}\)” stands for “quotient,” but the choice of “\(\mathbb{Z}\)” for “integers” seems strange – should not it be “\(\mathbb{I}\)” for “integer?” In fact, the symbol _is_ chosen for the first letter of the word for integers; it is just that it was named in German, with “\(\mathbb{Z}\)” short for _Zahlen_, the German word for “integer.” The rational numbers contain the integers as a subset which in turn contain the natural numbers as a subset. It is natural to ask the question what else do we know for \(\mathbb{Z}\)? We have inequalities. The sign “\(<\)" is a relation on \(\mathbb{Z}\) that is subject to the following _order properties_:

* If \(a,b\in\mathbb{Z}\), then one and only one of the following holds: \(a

We adopt the standard notation. That is, if \(aa\) and say \(b\) is greater than \(a\). The notation “\(\geq\)” is defined analogously.

### Fields

The rational numbers are our first example of an important mathematical structure known as a _field_. A field is a set \(\mathbb{F}\) with addition and multiplication operations such that

* Both operations are associative and commutative.
* The operations interact via the _distributive law_ \[a(b+c)=ab+ac\quad\text{and}\quad(a+b)c=ac+bc.\]
* There are additive and multiplicative identity elements (i.e., \(0\) and \(1\)).
* Every element \(x\in\mathbb{F}\) has an additive inverse \(-x\in\mathbb{F}\) and every nonzero element \(x\in\mathbb{F}\) has a multiplicative inverse \(x^{-1}\in\mathbb{F}\).

We can use the field properties to prove theorems that hold for all fields. For example, see the following theorem:

**Theorem 3** (Additive Cancellation Law).: _If \(\mathbb{F}\) is a field and \(\alpha,\beta,\gamma\in\mathbb{F}\) satisfy \(\alpha+\beta=\alpha+\gamma\), then \(\beta=\gamma\)._

Proof

: Consider \(-\alpha+(\alpha+\beta)\). Since \(\alpha+\beta=\alpha+\gamma\), we have

\[-\alpha+(\alpha+\beta)=-\alpha+(\alpha+\gamma).\]

Now, the fact that the addition is associative says

\[(-\alpha+\alpha)+\beta=(-\alpha+\alpha)+\gamma,\]

and we then have

\[0+\beta=0+\gamma.\]

This says

\[\beta=\gamma\]

as required.

Once we have proved a result, we can use it to prove other results. For example, see the following theorem:

Proof

: First, we note that \(0=0+0\). Then

\[0\alpha=(0+0)\alpha=0\alpha+0\alpha\]

by the distributive law; on the other hand

\[0\alpha=0\alpha+0=0\alpha+0\alpha.\]

Then by additive cancellation we have \(0=0\alpha\).

**Theorem 5**.: _If \(\mathbb{F}\) is a field in which \(0\) has a multiplicative inverse, then every element of \(\mathbb{F}\) equals zero._

Proof

: Let \(\mathbb{F}\) be a field in which \(0\) has a multiplicative inverse \(0^{-1}\). Then for any \(\alpha\in\mathbb{F}\), we have

\[\alpha=1\alpha=(00^{-1})\alpha=0(0^{-1}\alpha)=0.\qed\]

Note that this explains why we cannot just declare \(\infty=\frac{1}{0}\) and make math much simpler – any field in which zero has a multiplicative inverse contains only one element, namely zero. Thus, we have to either give up the field axioms, give up on zero having a multiplicative inverse, or settle for a number system with only one number.

### 1.3 Modular Arithmetic

Another very useful number system (a well, infinite set of number systems) which is unfamiliar to most outside of mathematics and computer science is the _integers modulo_\(n\). Let \(n\) be a positive integer. Then the set of integers modulo \(n\) is the set

\[\mathbb{Z}_{n}=\{0,1,2,\ldots,n-1\}\]

of remainders after long division by \(n\). An element of \(\mathbb{Z}_{n}\) is an equivalence class, like rational numbers, except that where two fractions represent the same rational number if one can be obtained from the other by multiplying top and bottom by the same integer, and two integers represent the same element of \(\mathbb{Z}_{n}\) if one can be obtained from the other by adding a multiple of \(n\).

In particular, we can do arithmetic mod \(n\) by doing ordinary arithmetic with the extra rule that whenever our numbers get outside the range \(\{0,1,2,\ldots,n-1\}\), we divide by \(n\) and keep only the remainder, i.e., add or subtract \(n\) repeatedly until we are back in \(\{0,1,2,\ldots,n-1\}\). Where \(\mathbb{Z}\) forms a number line, \(\mathbb{Z}_{n}\) forms a number circle, like an analog clock – in fact, we use mod \(12\) (and mod \(60\)) arithmetic for telling time (Figure 1.11).

**Example 15**.: In \(\mathbb{Z}_{4}\), we have

\[2(3+3)+3(2-3)=2(6)+3(-1)=2(2)+3(3)=4+9=0+1=1.\]

**Example 16**.: We can do reduction mod \(n\) at every step, or we can save it all up for the last step, and we will get the same result. For example, in \(\mathbb{Z}_{5}\), \((2+4)3-4(3+3)=2\):

\[\begin{array}{rllllll}(2+4)3-4(3+3)&=&(6)3-4(6)&&\\ &=&(1)3-4(1)&&\\ &=&3-4&\text{or}&\\ &=&-1&\\ &=&4&\end{array}\quad\text{or}\quad\quad\begin{array}{rllll}(2+4)3-4(3+3)&=&1 8-24\\ &=&-6\\ &=&-1\\ &=&4.\end{array}\]

Modular arithmetic differs from ordinary arithmetic in some important ways.

* A _zero divisor_\(x\neq 0\) has the property that \(xy=0\) for some \(y\neq 0\). In integer arithmetic, there are no zero divisors, but there can be zero divisors in \(\mathbb{Z}_{n}\) depending on \(n\). For instance, in \(\mathbb{Z}_{4}\), \(2\) is a zero divisor since \(2(2)=4=0\).
* An element \(x\in\mathbb{Z}_{n}\) is a _unit_ if it has a multiplicative inverse, i.e., if there is an \(x^{-1}\in\mathbb{Z}_{n}\) such that \(xx^{-1}=1\). For example, in \(\mathbb{Z}_{7}\), we have \[\begin{array}{r|l}x&x^{-1}\\ \hline 1&1\\ 2&4\\ 3&5\\ 4&2\\ 5&3\\ 6&6\end{array}\] since \(2(4)=8=1\), \(3(5)=15=1\), and \(6(6)=36=1\) mod \(7\). In a field, every nonzero element must be a unit.

We have seen that \(\mathbb{Q},\mathbb{R}\), and \(\mathbb{C}\) are fields, while \(\mathbb{N}\) and \(\mathbb{Z}\) are not. \(\mathbb{N}\) lacks additive and multiplicative inverses for elements greater than \(1\), and while

Figure 11: Integers and integers modulo \(n\)includes additive inverses for everything, the only elements in \(\mathbb{Z}\) with multiplicative inverses are \(1\) and \(-1\). We say \(\mathbb{Z}\) is an _integral domain_, a type of number system which does not contain zero divisors.

**Example 17**.: Note that \(\mathbb{Z}_{5}\) is a field. To prove this, one needs to verify that all of the field axioms are satisfied. Most of these are straightforward: Multiplication and addition are associative, commutative, and distributive in \(\mathbb{Z}_{5}\) because they are associative, commutative, and distributive in \(\mathbb{Z}\) before reducing mod \(5\), and reducing equal quantities mod \(5\) yields equal quantities in \(\mathbb{Z}_{5}\). The interesting part is to check the additive and multiplicative inverses, which we can do by brute force since \(\mathbb{Z}_{5}\) has only five elements.

\begin{tabular}{|c|c|c|c|c|} \hline \(\alpha\) & \(-\alpha\) & & \(\alpha^{-1}\) & \\ \hline \hline
0 & 0 & \(0+0=0\) & \(-\) & \\
1 & 4 & \(1+4=5=0\) & 1 & \(1(1)=1\) \\
2 & 3 & \(2+3=5=0\) & 3 & \(2(3)=6=1\) \\
3 & 2 & \(3+2=5=0\) & 2 & \(3(2)=6=1\) \\
4 & 1 & \(4+1=5=0\) & 4 & \(4(4)=16=1\) \\ \hline \end{tabular}

Note that \(\mathbb{Z}_{n}\) may or may not be a field depending on the value of \(n\); see the exercises for more.

### Exercises

1. Prove that in every field, we have the _multiplicative cancellation property_, i.e., that \(\alpha\beta=\alpha\gamma\) implies \(\beta=\gamma\).

2. Recall that a nonzero element of a number system \(\beta\neq 0\) is a _zero divisor_ if there is a nonzero element \(\alpha\neq 0\) such that \(\alpha\beta=0\) and that \(\beta\) is a _unit_ if there exists an element \(\beta^{-1}\) such that \(\beta\beta^{-1}=1\). Prove that no element can be both a unit and a zero divisor.

3. Make the addition and multiplication tables for the field \(\mathbb{Z}_{7}\).

4. Identify the units of \(\mathbb{Z}_{10}\) by finding their multiplicative inverses and the zero divisors.

same ratio different fractions

评论

发表回复

您的电子邮箱地址不会被公开。 必填项已用 * 标注