Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

7.5: Functions need to be Well-Defined

( \newcommand{\kernel}{\mathrm{null}\,}\)

The discussion of modular arithmetic ignored a very important point: the operations of addition, subtraction, and multiplication need to be well-defined. That is, if ¯a1=¯a2 and ¯b1=¯b2, then we need to know that

  1. ¯a1+n¯b1=¯a2+n¯b2,
  2. ¯a1n¯b1=¯a2n¯b2, and
  3. ¯a1×n¯b1=¯a2×n¯b2.

Fortunately, these statements are all true. Indeed, they follow easily from Exercise 5.1.19:

  1. Since ¯a1=¯a2 and ¯b1=¯b2, we have a1a2(modn) and b1b2(modn), so Exercise 5.1.19(1) tells us that a1+b1a2+b2(modn). Therefore ¯a1+b1=¯a2+b2, as desired.

The proofs for n and ×n are similar.

Example 7.5.1.

One might try to define an exponentiation operation by: ˉanˉb=¯ab for ˉa,ˉbZn.

Unfortunately, this does not work, because ∧n is not well-defined:

Exercise 7.5.2.

Find a1,a2,b1,b2Z, such that [a1]3=[a2]3 and [b1]3=[b2]3, but [ab11]3[ab22]3.

Exercise 7.5.3.

Assume m,nN+.

  1. Show that if n>2, then absolute value does not provide a well-defined function from Zn to Zn. That is, show there exist a,bZ, such that [a]n=[b]n, but [|a|]n[|b|]n.
  2. Show that if mn, then there is a well-defined function f:ZnZm, given by f([a]n)=[a]m.
  3. Show that if we try to define a function g:Z3Z2 by \(g\left([a]_{3}\right)=[a]_{2}), then the result is not well-defined.

This page titled 7.5: Functions need to be Well-Defined is shared under a CC BY-NC-SA 2.0 license and was authored, remixed, and/or curated by Dave Witte Morris & Joy Morris.

Support Center

How can we help?