Sets, Sequences and Mappings: The Basic Concepts of Analysis
By Kenneth Anderson and Dick Wick Hall
()
About this ebook
The first five chapters consist of a systematic development of many of the important properties of the real number system, plus detailed treatment of such concepts as mappings, sequences, limits, and continuity. The sixth and final chapter discusses metric spaces and generalizes many of the earlier concepts and results involving arbitrary metric spaces.
An index of axioms and key theorems appears at the end of the book, and more than 300 problems amplify and supplement the material within the text. Geared toward students who have taken several semesters of basic calculus, this volume is an ideal prerequisite for mathematics majors preparing for a two-semester course in advanced calculus.
Read more from Kenneth Anderson
Living with the UN: American Responsibilities and International Order Rating: 0 out of 5 stars0 ratingsSpeaking the Law: The Obama Administration's Addresses on National Security Law Rating: 0 out of 5 stars0 ratings
Related to Sets, Sequences and Mappings
Titles in the series (100)
Counterexamples in Topology Rating: 4 out of 5 stars4/5The Calculus Primer Rating: 0 out of 5 stars0 ratingsFirst-Order Partial Differential Equations, Vol. 1 Rating: 5 out of 5 stars5/5Calculus Refresher Rating: 3 out of 5 stars3/5Topology for Analysis Rating: 4 out of 5 stars4/5Analytic Inequalities Rating: 5 out of 5 stars5/5Fourier Series and Orthogonal Polynomials Rating: 0 out of 5 stars0 ratingsA Catalog of Special Plane Curves Rating: 2 out of 5 stars2/5Laplace Transforms and Their Applications to Differential Equations Rating: 5 out of 5 stars5/5First-Order Partial Differential Equations, Vol. 2 Rating: 0 out of 5 stars0 ratingsMethods of Applied Mathematics Rating: 3 out of 5 stars3/5Differential Geometry Rating: 5 out of 5 stars5/5Advanced Calculus: Second Edition Rating: 5 out of 5 stars5/5History of the Theory of Numbers, Volume II: Diophantine Analysis Rating: 0 out of 5 stars0 ratingsInfinite Series Rating: 4 out of 5 stars4/5Applied Functional Analysis Rating: 0 out of 5 stars0 ratingsMathematics for the Nonmathematician Rating: 4 out of 5 stars4/5Calculus: An Intuitive and Physical Approach (Second Edition) Rating: 4 out of 5 stars4/5Optimization Theory for Large Systems Rating: 5 out of 5 stars5/5Geometry: A Comprehensive Course Rating: 4 out of 5 stars4/5Theory of Approximation Rating: 0 out of 5 stars0 ratingsMathematics in Ancient Greece Rating: 5 out of 5 stars5/5Elementary Number Theory: Second Edition Rating: 4 out of 5 stars4/5Numerical Methods Rating: 5 out of 5 stars5/5How to Gamble If You Must: Inequalities for Stochastic Processes Rating: 0 out of 5 stars0 ratingsDynamic Probabilistic Systems, Volume II: Semi-Markov and Decision Processes Rating: 0 out of 5 stars0 ratingsAn Introduction to Lebesgue Integration and Fourier Series Rating: 0 out of 5 stars0 ratingsAn Adventurer's Guide to Number Theory Rating: 4 out of 5 stars4/5Introduction to Matrices and Vectors Rating: 0 out of 5 stars0 ratingsMatrices and Linear Algebra Rating: 4 out of 5 stars4/5
Related ebooks
Counterexamples in Topology Rating: 4 out of 5 stars4/5A Course on Group Theory Rating: 4 out of 5 stars4/5Elementary Number Theory: An Algebraic Approach Rating: 0 out of 5 stars0 ratingsNumber Theory Rating: 4 out of 5 stars4/5Set Theory: The Structure of Arithmetic Rating: 5 out of 5 stars5/5First Course in Mathematical Logic Rating: 3 out of 5 stars3/5Vector Spaces and Matrices Rating: 0 out of 5 stars0 ratingsElliptic Tales: Curves, Counting, and Number Theory Rating: 5 out of 5 stars5/5What Is Mathematical Logic? Rating: 3 out of 5 stars3/5Elementary Point-Set Topology: A Transition to Advanced Mathematics Rating: 5 out of 5 stars5/5Matrices and Transformations Rating: 4 out of 5 stars4/5General Topology Rating: 4 out of 5 stars4/5A Bridge to Advanced Mathematics Rating: 1 out of 5 stars1/5Algebraic Number Theory Rating: 0 out of 5 stars0 ratingsIntroduction to Real Analysis Rating: 3 out of 5 stars3/5Topics in Number Theory, Volumes I and II Rating: 5 out of 5 stars5/5Differential Forms with Applications to the Physical Sciences Rating: 5 out of 5 stars5/5Extremal Graph Theory Rating: 3 out of 5 stars3/5Algebraic Extensions of Fields Rating: 0 out of 5 stars0 ratingsA Concept of Limits Rating: 4 out of 5 stars4/5Introduction to Combinatorial Analysis Rating: 5 out of 5 stars5/5The Functions of Mathematical Physics Rating: 0 out of 5 stars0 ratingsFourier Series and Orthogonal Functions Rating: 3 out of 5 stars3/5A Course in Advanced Calculus Rating: 3 out of 5 stars3/5Introductory Discrete Mathematics Rating: 4 out of 5 stars4/5The History of the Calculus and Its Conceptual Development Rating: 4 out of 5 stars4/5Differential Geometry Rating: 5 out of 5 stars5/5Euclidean Geometry and Transformations Rating: 2 out of 5 stars2/5Matrices and Linear Algebra Rating: 4 out of 5 stars4/5An Introduction to Algebraic Structures Rating: 2 out of 5 stars2/5
Mathematics For You
Algebra - The Very Basics Rating: 5 out of 5 stars5/5What If?: Serious Scientific Answers to Absurd Hypothetical Questions Rating: 5 out of 5 stars5/5Calculus Made Easy Rating: 4 out of 5 stars4/5Standard Deviations: Flawed Assumptions, Tortured Data, and Other Ways to Lie with Statistics Rating: 4 out of 5 stars4/5Sneaky Math: A Graphic Primer with Projects Rating: 0 out of 5 stars0 ratingsBasic Math & Pre-Algebra For Dummies Rating: 4 out of 5 stars4/5My Best Mathematical and Logic Puzzles Rating: 4 out of 5 stars4/5Real Estate by the Numbers: A Complete Reference Guide to Deal Analysis Rating: 0 out of 5 stars0 ratingsQuantum Physics for Beginners Rating: 4 out of 5 stars4/5Relativity: The special and the general theory Rating: 5 out of 5 stars5/5Algebra I Workbook For Dummies Rating: 3 out of 5 stars3/5The Golden Ratio: The Divine Beauty of Mathematics Rating: 5 out of 5 stars5/5Statistics: a QuickStudy Laminated Reference Guide Rating: 0 out of 5 stars0 ratingsAlgebra II For Dummies Rating: 3 out of 5 stars3/5Mental Math Secrets - How To Be a Human Calculator Rating: 5 out of 5 stars5/5Math Magic: How To Master Everyday Math Problems Rating: 3 out of 5 stars3/5How to Solve It: A New Aspect of Mathematical Method Rating: 4 out of 5 stars4/5Limitless Mind: Learn, Lead, and Live Without Barriers Rating: 4 out of 5 stars4/5Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition Rating: 4 out of 5 stars4/5Pre-Calculus For Dummies Rating: 5 out of 5 stars5/5smarTEST Prep: Guide to LSAT Logic Games Rating: 5 out of 5 stars5/5Basic Math & Pre-Algebra Workbook For Dummies with Online Practice Rating: 4 out of 5 stars4/5Geometry For Dummies Rating: 4 out of 5 stars4/5Mathematics, Magic and Mystery Rating: 4 out of 5 stars4/5The Little Book of Mathematical Principles, Theories & Things Rating: 3 out of 5 stars3/5Calculus For Dummies Rating: 4 out of 5 stars4/5Algebra I For Dummies Rating: 4 out of 5 stars4/5Mental Math: Tricks To Become A Human Calculator Rating: 5 out of 5 stars5/5
Reviews for Sets, Sequences and Mappings
0 ratings0 reviews
Book preview
Sets, Sequences and Mappings - Kenneth Anderson
MATHEMATICS
I
Introduction to sets and mappings
1. Sets
Mathematics requires precision in the expression of abstract concepts and in the application of logical processes. This precision is attained through the use of special terminology and symbols which eliminate the normal ambiguity in everyday language. A mastery of this terminology and symbolism is essential to the student who expects to continue in the field of mathematics. For this reason, we have attempted to explain each symbol carefully, and to define each new concept precisely, labeling each as a definition for ease of reference. Many terms in everyday usage have a special and precise meaning in mathematics, and the student is cautioned not to confuse the normal usage with the precise mathematical meaning.
The term set is used to designate a collection of objects of some kind. These objects are called the elements, or members, or points of the set.
We generally designate sets by capital letters A, B, C, etc., and members of a set by small letters a, b, c, etc. If a set A consists of the points a, b, c, d, we write A = {a, b, c, d}. If A consists of just the one point a, we write A = {a}, thus distinguishing between the point a and the set {a} consisting of only the point a. The notation "a ∈ A" means "a is a member of A, or
a belongs to A; the notation
a ∉ A means
a does not belong to A."
Definition 1.1. The universe U is the totality of all points under consideration (during any investigation), and is the source from which we extract sets.
It is evident that the universe is itself a set, but it might be considered as the master set
; that is, we restrict our horizon to the universe at hand, and do not recognize the existence of any other objects (or sets of objects) except those belonging to our universe. Thus, for example, the equation x² + 1 = 0 has no solution in the universe consisting of all real numbers. When we studied algebra, we found it necessary to enlarge our universe, and this led to a new universe consisting of all complex numbers.
Before stating our next definition, let us digress for a moment to discuss the term if and only if,
which in the sequel will be abbreviated iff.
Let α and β be two declarative statements. A typical theorem of mathematics is a statement of the form "If α is true, then β is true, which is often shortened to
If α, then β, or
α implies β." Mathematicians consider the following statements as equivalent; that is, any two of these statements have precisely the same meaning:
α implies β
α is a sufficient condition for β
β is a necessary condition for α
if α then β
β if α
α only if β
The typical definition in mathematics is a statement of the form "α is true iff β is true." Such a definition has the following equivalent forms:
α is true iff β is true
α is a necessary and sufficient condition for β
β is a necessary and sufficient condition for α
α implies β and β implies α
Mathematicians are pleased when they discover theorems which are iff
statements, since any such theorem provides two equivalent descriptions of the same concept.
Definition 1.2. A set A is a subset of a set B iff every point of A is a point of B.
The statement of Definition 1.2 means that both of the following statements are true:
(1) If the set A is a subset of the set B, then every point of A is a point of B.
(2) If every point of the set A is a point of the set B, then A is a subset of B.
The notation A ⊂ B (or equivalently, B ⊃ A) means "A is a subset of B, or
the set A is contained in the set B," or "B contains A."
It is clear from Definition 1.2 that for every set A, we must have A ⊂ A.
We have seen that the statement A ⊂ B means that if p ∈ A, then p ∈ B. Thus, if A is not a subset of B (which we write A ⊄ B), then there must exist some point p ∈ A such that p ∉ B. Now, for any sets A and B, it is clear that one or the other of these conditions must be satisfied. We express this as follows.
Theorem 1.3. If A and B are sets, then either A ⊂ B or A ⊄ B.
Consider the set {1, 2, 3, 4, 5}, and let it be our universe; that is, U = {1, 2, 3, 4, 5} . The subsets of the universe U are determined by taking a Gallup poll. For example, suppose we have a subset K ⊂ U, and we want to determine the members of K. We poll the members of U with the following results:
Since we have polled our entire universe, we conclude that K = {1,4,5}.
Suppose we have another subset H ⊂ U, and here our Gallup poll yields a no
from every member of U. We must then conclude that the set H contains no elements. For reasons that will become clear later, we still choose to consider H as a set, which we call the empty set and define as follows.
Definition 1.4. The empty set is the set containing no elements, and is denoted by Ø.
Given any set A, it cannot be true that Ø ⊄ A, since there are no points in Ø. Therefore, by Theorem 1.3, we have the following lemma.
Lemma 1.5. If A is any set, Ø ⊂ A.
Returning to the preceding example, suppose we have a subset J ⊂ U, and here our Gallup poll yields a yes
from every member of U. We must then conclude that the sets J and U consist of exactly the same points, and are thus indistinguishable; that is, we have merely given the same set two different names. This leads us to the notion of equality of sets.
Definition 1.6. Two sets A and B are equal (written A = B) iff A ⊂ B and B ⊂ A.
A reasonable question to ask at this point is: How many subsets can be extracted from a universe consisting of n points, where n is any positive integer? The answer lies buried in the technique of our Gallup poll. We have a total of n members to poll, and each member can give us one of two answers, yes
or no.
If the answer is yes,
the point is in the subset; if the answer is no,
the point is not in the subset. Thus, in choosing subsets, we have two choices for each member of the universe: We can either take it as a member of the subset, or leave it out. Since our choice at any particular member is independent of our choice at each of the other members, we find that we have 2 × 2 × 2 × . . . × 2 (n factors) choices, or 2n possible subsets. In. our earlier example, where U = {1, 2, 3, 4, 5}, we have 2⁵ = 32 subsets. We could arrive at this result in still another way by considering the various subsets as combinations of yes
answers in our poll, and using the theory of combinations from algebra. Remembering that the number of combinations of n things taken r at a time is given by the formula C(n, r) = n!/[r!(n − r)!], we see that the number of subsets consisting of just one point corresponds to the number of combinations of just one yes
among the five answers, or C(5, 1) = 5!/(1!4!) = 5. Similarly, the number of subsets consisting of two points is C(5, 2) = 5!/(2!3!) = 10; three points, C(5, 3) = 10; four points, C(5, 4) = 5; five points, (recalling that 0! = 1 by definition), C(5, 5) = 1, where this single subset with five points is, of course, the set U itself. Finally, the number of subsets containing no points is C(5, 0) = 1, where this single set is the empty set. The total number of subsets is then 5 + 10 + 10 + 5 + 1 + 1 = 32, which agrees with our preceding result.
Definition 1.7. The intersection of two sets A and B (written A ∩ B) is the set of all points which are in both A and B.
Definition 1.8. The union of two sets A and B (written A ∪ B) is the set of all points which are in at least one of the sets A and B.
To illustrate these concepts, let us consider an example.
Example 1.9. Let the universe be U = {1, 2, 3, 4, 5, 6, 7}, and suppose we have the following subsets:
A = {1, 2,5}
B = {2, 3, 4}
C = {3, 5, 7}
D = {1, 2, 4, 6}
Then
A ∩ B = {2}; A ∩ D = {1, 2} ; B ∩ D = {2, 4}; C ∩ D = Ø
Also
A ∪ B = {1, 2, 3, 4, 5} ; B ∪ C = {2, 3, 4, 5, 7}; C ∪ D = U
We shall make free use of parentheses, much the same as in algebra. For example, Definitions 1.7 and 1.8 extend to more than two sets under the convention:
Also, parentheses are essential when unions and intersections are combined, as in A ∪ B ∩ C. Here we may choose either the set (A ∪ B) ∩ C or the set A ∪ (B ∩ C), and these two sets are generally not equal. To see this, consider the universe U and the sets A, B, and C defined in Example 1.9. A little calculation (verify this) shows that (A ∪ B) ∩C = {3, 5}, whereas A ∪ (B ∩ C = {1, 2, 3, 5}.
We have seen that a set may be empty, and thus, if we are considering an arbitrary set A, we must allow for the possibility that A = φ. (When we wish to exclude this possibility, we speak of a nonempty. set A.) This brings up the following natural question: What happens if the empty set φ is involved in a union or an intersection? The answer follows immediately from Definitions 1.7 and 1.8, but because of its importance we state it for easy reference as a lemma.
Lemma 1.10. If A is any set (including A = Ø), then A ∩ φ = φ and A ∪ φ = A.
One of the important techniques of set theory is that of proving set equalities. Suppose, for instance, that we want to prove the following:
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
We might first test it by trying it on some particular sets. Let us again use Example 1.9. We see that A = {1, 2, 5}, and B ∪ C = {2, 3, 4, 5, 7}, so that A ∩ (B ∪ C) = {2, 5}. On the other hand, A ∩ B = {2} , and A ∩ C = {5} , so that
(A ∩ B) ∪ (A ∩ C) = {2, 5}
We have thus verified the equality for our particular choice of sets. Note, however, that we have not proved the statement, any more than we can prove the trigonometric identity sin 2x = 2 sin x cos x merely by verifying it for the particular choice x = 0. However, we cannot be sure that the statement is wrong either. Therefore it seems reasonable to try to prove it. The general method for proving equality of sets is indicated by Definition 1.6; that is, we show that each set is contained in the other. For simplicity of notation, let us designate the left-hand set above by L, and the right-hand set by R, so that we wish to prove L = R.
We choose an arbitrary point p ∈ L, and show that p ∈ R. Since the choice of p is arbitrary, we conclude that every point of L is also a point of R; that is, L ⊂ R. Similarly, we choose an arbitrary point p ∈ R, show that p ∈ L, and conclude that R ⊂ L; hence L = R. We now state the set equality as a theorem, and give a formal proof, following the preceding method. In this first proof, we have numbered each step, and we have also supplied reasons for each conclusion in the first half of the proof. This procedure is employed merely to clarify the technique, and is not continued in subsequent proofs.
Theorem 1.11 (The Distributive Law for Intersections over Unions). If A, B, C are sets, then
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Proof. We prove first: A ∩ (B ∪ C) ⊂ (A ∩ B) ∪ (A ∩ C).
If A ∩ (B ∪ C) = φ, the result is trivial.
(by Lemma 1.5)
If A ∩ (B ∪ C) ≠ φ, let p ∈ A ∩ (B ∪ C).
Then p ∈ A and p ∈ (B ∪ C).
(by Definition 1.7)
But p ∈ (B ∪ C) means p ∈ B or p ∈ C.
(by Definition 1.8)
Case 1. If p ∈ B, then p ∈ (A ∩ B).
(by Definition 1.7 and (3))
Therefore p ∈ (A ∩ B) ∪ (A ∩ C)
(by Definition 1.8)
Case 2. If p ∈ C, then p ∈ (A ∩ C).
(by Definition 1.7 and (3))
Therefore p ∈ (A ∩ B) ∪ (A ∩ C).
(by Definition 1.8)
Consequently A ∩ (B ∪ C) ⊂ (A ∩ B) ∪ (A ∩ C).
(by steps (2) to (5) and Definition 1.2)
To complete the proof of the theorem, we must show that
(A ∩ B) ∪ (A ∩ C) ⊂ A ∩ (B ∪ C)
If (A ∩ B) ∪ (A ∩ C) = φ, the result is trivial.
If (A ∩ B) ∪ (A ∩ C) ≠ φ, let p ∈ (A ∩ B) ∪ (A ∩ C).
Then, p ∈ (A ∩ B) or p ∈ (A ∩ C).
Case 1. If p ∈ (A ∩ B), then p ∈ A and p ∈ B.
Now p ∈ B implies p ∈ (B U C).
Therefore p ∈ A ∩ (B ∪ C).
Case 2. If p ∈ (A ∩ C), then p ∈ A and p ∈ C.
Now, p ∈ C implies p ∈ (B ∪ C).
Therefore p ∈ A ∩ (B ∪ C).
Hence (A ∩ B) ∪ (A ∩ C) ⊂ A ∩ (B ∪ C).
Consequently A ∩ (B ∪C) = (A ∩ B) ∪ (A ∩ C).
QED
The second half of Theorem 1.11 can also be established in the following neat way, using Problem 8. We see at once that
B ⊂ B ∪ C and C ⊂ B ∪ C
By Problem 8,
A ∩ B ⊂ A ∩ (B ∪ C) and A ∩ C ⊂ A ∩ (B ∪ C)
Therefore (A ∩ B) ∪ (A ∩ C) ⊂ A ∩ (B U C).
QED
Theorem 1.12. Given any set A in the universe U, there is exactly one set X such that both of the following conditions hold:
(a) A ∪ X = U, (b) A ∩ X = φ
Proof. Suppose that there exist two such sets X and Y satisfying these conditions. Then
A ∪ X = U, A ∩ X = φ, A ∪ Y = U, A ∩ Y = φ
Consequently
Y = Y ∩ U = Y ∩ (A ∪ X) = (Y ∩ A) ∪ (Y ∩ X) = Y ∩ X
Therefore, by Problem 3, Y ⊂ X. By a similar argument, X ⊂ Y. Therefore X = Y, and we have proven that there cannot be two sets satisfying the given conditions. There is at least one set satisfying these conditions, the set X defined as all points of U not in A. This completes the proof of the theorem.
QED
We define the complement of a set A in the universe U to be the unique set X defined in Theorem 1.12. The word unique
as used in mathematics means one and only one.
Definition 1.13. The complement of a set A in the universe U is the unique subset X of U satisfying the two conditions
A ∪ X = U, A ∩ X = Ø
We denote the complement of A by C(A), and observe that C(A) consists of all elements of U which are not in A.
It follows from Definition 1.13 that if U is the universe, then C (U) = φ and C(φ) = U.
In general, when we are considering arbitrary sets, we may tacitly assume that some universe U is given, and that all the sets we are considering are subsets of U. Similarly, we may discuss the complement of a set, again assuming that we have taken the complement with respect to our universe U.
Theorem 1.14. For any set A, C[C(A)] = A.
Proof. We see from Definition 1.13 that C[C(A)] is the unique set X satisfying both of the equations
C(A) ∪ X = U C(A) ∩ X = Ø
Since X = A satisfies both these equations, we have at once A = C[C(A)]
QED
Theorem 1.15. If A and B are sets, then A ⊂ B iff C(B) ⊂ C(A).
Proof. Suppose first that A ⊂ B. By Problem 8,
A ∩ C(B) ⊂ B ∩ C(B) = Ø
so that A ∩ C(B) = φ. Consequently
Therefore, by Problem 3, C(B) ⊂ C(A).
For the converse, suppose that C(B) ⊂ C(A). Then by the preceding paragraph, C[C(A)] ⊂ C[C(B)], which, by Theorem 1.14, can be written in the form A ⊂ B. This completes the proof.
QED
The next theorem states some important relationships among complements, unions, and intersections.
Theorem 1.16 (DeMorgan’s Laws). If A and B are sets, then
(a) C(A ∪ B) = C(A) ∩ C(B); (b) C(A ∩ B) = C(A) ∪ C(B)
Proof of (a). We prove that C(A ∪ B) ⊂ C(A) ∩ C(B). It is easily seen that A ⊂ A ∪ B and B ⊂ A ∪ B. Therefore, by Theorem 1.15, C(A ∪ B) ⊂ C(A) and C(A ∪ B) ⊂ C(B). Consequently
C(A ∪ B) ⊂ C(A) ∩ C(B)
To complete the proof of (a), we must show that
C(A) ∩ C(B) ⊂ C(A ∪ B)
By Lemma 1.6, we lose no generality if we assume that the left-hand set is non-empty. Let p ∈ C(A) ∩ C(B). Then p ∈ C(A) and p ∈ C(B), so p ∉ A and p ∉ B. Thus p ∉ (A ∪ B), and hence it follows that p ∈ C(A ∪ B). Therefore
C(A) ∩ C(B) ⊂ C(A ∪ B)
and (a) is proved.
The proof of (b) is left as an exercise.
Let us now consider an application of set theory where the universe does not consist of numbers. Let a and b be two statements, each of which in a given situation is either true or false. Let S be the set of all logical situations in which a and b occur; that is, S is the universe in this case. We may then define the following sets:
A = set of all situations in which a is true.
C(A) = set of all situations in which a is false.
B = set of all situations in which b is true.
C(B) = set of all situations in which b is false.
Now suppose we make the following direct statement, which we may assert as a theorem: "If a is true, then b is true." This says that, of all the situations in S, those for which a is true must be included among those for which b is true; or, in terms of the sets just defined, A ⊂ B. We can now apply Theorem 1.14 to obtain C(B) ⊂C(A). Using the same definitions, this is the same as the assertion: "If b is false, then a is false." This latter statement is the contrapositive of the given direct statement, and we have just indicated by means of set theory that any direct statement is logically equivalent to its contrapositive statement.
We now prove a simple theorem from number theory to illustrate the contrapositive technique of proof.
Theorem 1.17. If the square of a positive integer is even, then the positive integer is even.
Proof. The contrapositive of the given statement is as follows: If a positive integer is odd (that is, not even), then its square is odd. To prove this, we note that any positive integer which is odd can be written in the form 2k − 1, where k is a positive integer. The square of