9
$\begingroup$

Mathematicians does something when they mean by doing "abstraction" or "generalization". I can't exactly decipher what they mean, but I suppose

i. Abstraction is of finding patterns from some objects(and conctretizing something is probably adding structure to the pattern to produce some examples)

Ex: From Sun, Blood, Traffic light stopping color etc the pattern red could be found (which is an abstraction). Reversly, adding structure to the red will produce Blood/Sun (Concrete)

ii. Generalization is probably making some constant variable.

Ex: The binomial theorem can be thought of a good generalization of $(1+x)^3, (x+p)^{13}, (a-b)^{50}$ (Random)

Is my notions of abstraction and generalization right ? If not, then please explicitly state what it is with a lot of example. (An example) What can be treated as a generalization and (separately) abstraction of $1^2 + 2^2 + 3^2 + 4^4 + ... + 66^2 $ (The last term is quite arbitrary)?

$\endgroup$
  • $\begingroup$ The Binomial Series Formula can be thought of a generalization of the Geometric Series. Really generalization/abstraction means 'make applicable with fewer conditions on what you're dealing with.' $\endgroup$ – Chris C May 2 '16 at 14:50
13
$\begingroup$

By abstraction, we mean that we step back from concrete objects to consider a number of objects with identical properties simultaneously.

For instance, consider the following three objects:

  1. The set of functions $A,B,C$ defined on the set $\{1,2,3\}$ by $A(1)=1,\;A(2)=2,\;A(3)=3$,
    $B(1)=2,\;B(2)=3,\;B(3)=1$,
    $C(1)=3,\;C(2)=1,\;C(3)=2$,

  2. The set of complex numbers $a = 1, b = e^{i2\pi/3},c = e^{i4\pi/3}$.

  3. The set of matrices $ \alpha =\left( \begin{array}{c c}1 & 0\\ 0& 1 \end{array}\right), \beta = \left( \begin{array}{c c}0 & -1\\ -1& -1 \end{array}\right), \gamma = \left( \begin{array}{c c}-1 & -1\\ -1& 0 \end{array}\right)$

Consider these notations: AB means A(B(x)), $ab$ is ordinary multiplication of complex numbers, and $\alpha \beta$ means ordinary matrix multiplication. Verify the following "multiplication" tables:

$$\begin{array}{c | c c c}& A & B & C\\ \hline A & A & B & C \\ B & B & C & A\\C & C & A & B \end{array}\;\;\;\;\;\begin{array}{c | c c c}& a & b & c\\ \hline a & a &b & c \\ b & b & c & a\\c & c & a & b \end{array}\;\;\;\;\;\begin{array}{c | c c c}& \alpha & \beta & \gamma \\ \hline \alpha & \alpha & \beta & \gamma \\ \beta & \beta & \gamma & \alpha\\\gamma & \gamma & \alpha & \beta \end{array}$$

Notice that these tables are identical. Then let us by abstraction define an abstract object which is the set of three elements $\{e,g,g^{-1}\}$ paired with a binary operator $\cdot$ such that set acts on itself in the following manner with respect to the operator:

\begin{array}{c | c c c} \cdot & e & g & g^{-1}\\ \hline e & e & g & g^{-1} \\ g & g & g^{-1} & e\\g^{-1} & g^{-1} & e & g \end{array}

In Group Theory an object with such structure is called the cyclic group of order three. Then the examples above are representations of this abstract object. It is an abstract object because while we have now given it a definition, notice that it is itself a stand-in for a variety of objects that have the properties that it demonstrates. You might even consider the abstract object to be more of a set of properties or a structure than an object itself, since its elements can refer to many (indeed, in this case an infinite number of) actual sets. This abstraction is powerful, since proving any property of this abstract object (like the fact that $x^3$ = e for any element $x$) demonstrates this property for each and every realization, in the same way that observing the properties of an artist's posable figurine allows the artist to determine how to sketch all sorts of different people in many different configurations because it is an abstraction of a human figure.

Generalization, on the other hand, is carried out when we consider an object under inspection in the context of a larger domain for the parameters involved.

For instance, we might define the sine function as the ratio of the side opposite to the acute base angle to the side adjacent to said angle in a right triangle. With this definition, we can only consider the sine of an acute angle.

By considering reference angles, we generalize our definition of the sine of an angle to "the height of a point on the unit circle intersected by a ray at the terminal side of the angle in standard position". With this more general definition, all of our previous results still hold and we can consider more values of the sine function- any real number.

Generalizing further, we find that defining sine as a power series admits us to evaluate the sine of a complex number. We see that our original definition was very limited in scope, and by generalizing we obtained new and broader domains which agree with our more narrow previous domains, but in which we find richer or more widely applicable discussion of our query.

Here are a few more examples of generalization:

  • The improper Riemann integral generalizes the definite Riemann integral, since the definite Riemann integral is only defined for a continuous function on a closed interval.

  • The Lebesgue integral is a generalization of the Riemann integral. For a function defined over a Lebesgue measurable set, if the function is Riemann integrable then the values of the two integrals agree. But the Lebesgue integral provides meaningful results in some cases that the Riemann integral is meaningless.

  • The norm is a generalization of distance. The $l^p$ norms are generalizations of Euclidean distance, and there are some interesting norms that allow us to define a "distance" between objects that are not geometrical, like the Hamming distance. It turns out that all norms are equivalent up to a scalar and so one can consider a single abstract norm for many purposes.

  • The inner product allows one to generalize the notion of an angle. Using the inner product, one can, for example, find the angle between two vectors or two matrices with complex entries or describe which polynomials are "orthogonal". Orthogonal functions are important in the solution of partial differential equations.

  • Algorithms are generalizations of solutions to particular problems. The Euclidean algorithm, for instance, allows one to find the greatest common divisor of any two integers, and it is always a solution.

$\endgroup$
  • $\begingroup$ It's a very good answer (I don't know groups , but it is guessable ). i. Can I define abstraction of some objects to find some common property that holds for all the objects ? ii. Suppose for all objects in a set $S$, $P$ does something (sloppy term) . Can generalization of $P$ be defined as $P'$ [for any object in set $S$, the previous same thing happens with $P'$ ] when or any object in $T-S, [S \subset T] $, some additional thing happens ? iii. Can you please provide bit more examples in abstraction and generalization, especially in topics like Calculus, Geometry, Trigonometry etc ? $\endgroup$ – user6330 May 4 '16 at 6:26
  • $\begingroup$ @ArkaKarmakar i. Sure. You might define a set of properties that suit a purpose (like the vector space axioms, for example) then discover what objects satisfy those properties. You wouldn't be abstracting though, you'd be moving the other direction. The noun "abstraction" either refers to the "step back", or the abstract object itself. ii. Yes. If $P$ acts on $S$ and $S /subset T$, then define $P^\prime$ so that $P^\prime$ acts on $T$ and $P\prime(s) = P(s)$ whenever $s \in S$. Then $P^\prime$ is a generalization of $P$, and you are generalizing. $\endgroup$ – Andrew May 4 '16 at 12:03
  • $\begingroup$ @ArkaKarmakar I have added some more examples of generalizations in mathematics. $\endgroup$ – Andrew May 4 '16 at 12:17
  • $\begingroup$ i. Thanks a lot for the new examples. ii. What is generalization is almost intuitively guessable, so the problem remains in abstraction. I can't understand the subtle difference between "abstracting" and "finding some patterns between the objects and working with the patterns instead of the objects". iii. I am hesitant and sorry to request you again, but it would be a bit better if you add some extra examples only in abstraction (the examples in generalization is enough for this purpose). iv. Am I missing something in my definition of generalization ? $\endgroup$ – user6330 May 4 '16 at 16:52
  • $\begingroup$ I have posted a comment. Please reply to it (if it is not stupidly made gibberish by me). $\endgroup$ – user6330 May 6 '16 at 15:12
2
$\begingroup$

Andrew's answer is very good. However, I'm going to describe abstraction slightly differently.

When we're doing mathematics, we often notice similarities in different subfields. Abstraction can be thought of ignoring the differences. We define a new concept in terms of the similarities only and give it a name so that we can talk about it independently of any particular instance.

The hard part is that it's sometimes not clear what the similarities are or how we can express them independently. It took half a century, for example, to come up with category theory, which is probably the most powerful abstraction language yet found.

This is my excuse for answering this question. Since you're self-learning, I wanted to give you just a little picture of just how powerful abstraction can be.

First, let's consider sets.

Suppose that $A$ and $B$ are finite sets. Then the number of functions with domain $A$ and codomain $B$ is $|B|^{|A|}$.

Now let's think about the empty set $\emptyset$ for a moment.

For any non-empty finite set $A$, how many functions are there with domain $A$ and codomain $\emptyset$? Well, it's just $0^{|A|}$, which is $0$. There are no functions $f$ such that $f : A \rightarrow \emptyset$ if $A$ is nonempty.

What about the other way? How many functions are there with domain $\emptyset$ and codomain $A$? Well, it's $|A|^0$, which is $1$. There is exactly one function $f$ such that $f : \emptyset \rightarrow A$.

Note that the above argument also applies to infinite set, however we also need to consider the case $f : \emptyset \rightarrow \emptyset$. By convention, when doing combinatorics, $0^0 = 1$, and it turns out (if, for example, you consider the graph of the function) it makes sense to do this too.

The empty set is the only set with the following property:

For any set $A$, there is exactly one function $f$ such that $f : \emptyset \rightarrow A$.

Now, let's think about logic.

For logic, I'm going to use some notation that may be unfamiliar at the high school level. Given two propositions $A$ and $B$, we will denote $A \vdash B$ (pronounced "$A$ entails $B$", or "$A$ yields $B$") to mean that given the premise $A$, you can conclude $B$.

The proposition $\hbox{False}$ has the interesting property that from that premise, you can prove anything; this is known as ex falso quodlibet, or the principle of explosion.

But more than that, if you formalise the notion of what constitutes a "distinct proof" very carefully, you can show that $\hbox{False}$ is the only proposition with this property:

For any proposition $A$, there is exactly one proof of $\hbox{False} \vdash A$.

There's an abstraction to be discovered here.

In category theory, an object with this property is known as an "initial object". There is also the dual notion of a "terminal object", that is, an object $T$ such that for any other object $A$, there is exactly one "arrow" such that $A \rightarrow T$. It won't surprise you to learn that $\hbox{True}$ is the unique terminal object in logic.

There is also a terminal object in sets, and it's actually the "singleton set", that is, the set with only one element in it. Of course, I say "the" singleton set as if there's only one, when you can probably think of lots.

In category theory terms, we say that all singleton sets are isomorphic. They all have the same "shape", much like in Andrew's group theory example, where all the groups have the same "shape". You can think of them as different "physical" groups, or you can think of them as the same abstract group.

Informally, you can't tell the difference between any two singleton sets without looking inside the set to see what the element is. That's the price you pay for abstraction: the actual element inside the set is an irrelevant detail that you're abstracting away.

But what you gain is that it's possible to prove a theorem which is true of both sets-and-functions and propositions-and-proofs. An example of such a theorem is: "All initial objects are identical up to isomorphism." That's a very abstract statement, but you should now have an idea just how powerful that statement is.

Incidentally, since group theory has already come up, the "trivial group" (i.e. the group with one element) is both an initial object and a terminal object, which makes it very interesting indeed. That's a topic for another time.

$\endgroup$
  • $\begingroup$ "But more than that, if you formalise the notion of what constitutes a "distinct proof" very carefully, you can show that FalseFalse is the only proposition with this property." Could you expand on this please? I've never seen nor been able to come up with a precise way to call one proof distinct from another $\endgroup$ – Daniel Mourad Mar 7 '17 at 21:52
  • 1
    $\begingroup$ Great question! Proof theory is a complex topic, as you can probably imagine. You can get a flavour of it by looking at the Curry-Howard correspondence, which lets you think of proof normalisation and proof equivalence in terms of computer programs. See, for example, youtube.com/watch?v=IOiZatlZtGU $\endgroup$ – Pseudonym Mar 8 '17 at 0:10
  • 1
    $\begingroup$ In formal proof systems, the theorem A⊢A really has only one proof: the "identity proof", which is analogous to the identity function. There are other ways to prove it, but the proof can be normalised to that. The theorem A∧A⊢A has two distinct proofs, and it's not hard to see why: you can use either premise to prove the conclusion. This is true in exactly the same sense that there are exactly two functions f such that f : ∀α.α×α→α. This is a more general kind of function than you see at the high school level. The function is of type A×A→A for all sets A. $\endgroup$ – Pseudonym Mar 8 '17 at 0:12
-2
$\begingroup$

I'm not sure what you mean by abstraction, but you can make a universal generalizations from a specific case in one of two ways:

Direct proof:

Start by assuming for that sake of argument that $P(x)$ is true, where $P$ is a logical predicate (or truth function) and $x$ is a newly introduced free variable (not previously used in your proof). Suppose that, by using whatever rules and axioms you may have at your disposal, you infer $Q(x)$ is also true, where $Q$ is another logical predicate and $x$ is the same object introduced the initial premise above, and $Q(x)$ has no free variables introduced after that initial premises. Then you can conclude that, for all $x$, $P(x)$ implies $Q(x)$.

Proof by contradiction:

Start by assuming for that sake of argument that $P(x)$ is true, where $P$ is a logical predicate (or truth function) and $x$ is newly introduced free variable (not previously used in your proof). Suppose that, by using whatever rules and axioms you may have at your disposal, you infer a contradiction of the form $Q$ and not $Q$, or $Q$ if and only if $\neg Q$, where $Q$ is any logical proposition. Then you can conclude that, there does not exist an $x$ such $P(x)$ is true.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy