PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
obvious (Definition)

Mathematicians use phrases like ``it is obvious that'', ``it is easy to see that'', ``it is clear that'', and ``is trivial'' to indicate that some steps have been omitted. The use of such language may be classified under three headings -- honest, dishonest, and pedagogical.

The honest use of these phrases occurs when only a few steps have been omitted and these steps are simple enough that the average reader can easily fill in the gaps. Omitting such steps can be beneficial because it cuts down the length of an exposition and keeps the main ideas from getting lost amidst a morass of boring details and routine operations. By reminding the reader of small omissions in an unobtrusive fashion, such phrases help put the reader at ease -- if they are left out, it is easy for the reader to be thrown off-course by a missing step or be left with an uneasy feeling that there might be a hole in a proof.

The dishonest use of these phrases occurs when a somewhat lengthy calculation has been left out because the author was too lazy to write it down. By using these phrases, the author hopes to intimidate potential critics from pointing out that material is missing by insinuating that anyone who would point out that something is missing is too stupid to fill in a few obvious steps. Frequent dishonest use of these terms may be a symptom of mathematheosis.

The pedagogical use of these phrases occurs when the author has deliberately left the filling-in of missing steps as an exercise to the reader.




"obvious" is owned by rspuzio.
(view preamble | get metadata)

View style:

Other names:  easy to see, clear
Log in to rate this entry.
(view current ratings)

Cross-references: point, proof, operations
There are 776 references to this entry.

This is version 7 of obvious, born on 2004-10-10, modified 2005-08-06.
Object id is 6357, canonical name is Obvious.
Accessed 24265 times total.

Classification:
AMS MSC00A20 (General :: General and miscellaneous specific topics :: Dictionaries and other general reference works)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy
use of "well known" by Algeboy on 2007-07-12 12:51:50
Some mathematicians prefer the phrase: "it is well known that" to indicate that some result is true but the proof would require extra work on the part of the author and that the proof should generally be accessible in standard references. This gives the author some
protection from the "dishonest" use of the phrase in that the author is not pretending that the result is simple minded. Instead "it is well known" can often be interpretted to mean "consulting standard sources it follows that..."

For example:

"It is well known that the trace of AB equals the trace of BA." This is an exhaustingly long computation to check (without appealing to characterisitic polynomials) but indeed you can usually find a proof in any linear algebra that introduces the trace of a matrix.

"It is well known that the only odd order finite simple groups are cyclic of prime power." This requires the Feit-Thompson theorem yet the result actually IS well known amongst people who know what finite simple groups mean.
[ reply | up ]
mathematheosis by emmillly on 2004-11-11 15:36:49

what is mathematheosis?
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)