Convert "every x" into a single arbitrary x

a repository of mathematical know-how

Convert "every x" into a single arbitrary x

Title: *

Area of mathematics: *

A comma-separated list of areas of mathematics to which this article applies. Use ">" to tag in a subcategory. Example: Analysis > Harmonic analysis, Combinatorics

Keywords:

A comma-separated list of keywords associated with this article. Example: free group

Used in:

A comma-separated list of examples of where this technique is used. Example: Cauchy-Schwarz inequality

Parent articles:		Order

Body:

[QUICK DESCRIPTION]
If you are trying to prove that some statement is true of every $x$ of some kind, then a good way of organizing your thoughts is to begin by writing "Let $x$ be" followed by a description of that kind of object. Then one can treat $x$ as a single given object rather than feeling that one has to prove a statement for every $x$ all at once. In other words, one replaces ''every $x$'' by ''an arbitrary $x$''. Mathematically, this achieves nothing, but psychologically it helps.

[EXAMPLE]
Suppose that you are asked to prove that whenever $f$ is a continuous function from $\mathbb{R}$ to $\mathbb{R}$ and $(x_n)$ is a sequence that converges to a limit $x$, then $f(x_n)$ converges to $f(x).$ There is one step you can take before you start to think. More formally, the statement is "For every continuous function $f$ from $\mathbb{R}$ to $\mathbb{R}$, and for every convergent sequence $(x_n)$ with limit $x$, $f(x_n)$ converges to $f(x)$." The thought-free step is to write, "Let $f$ be a continuous function from $\mathbb{R}$ to $\mathbb{R}$ and let $(x_n)$ be a sequence that converges to a limit $x$." Now we can concentrate on just this one (arbitrary) continuous function and this one (arbitrary) convergent sequence.

[GENERAL DISCUSSION]
This move is particularly useful in elementary real analysis -- indeed, it should become an automatic reflex.

This is a stub

A stub is an article that is not sufficiently complete to be interesting.

Notifications

File attachments

Changes made to the attachments are not permanent until you save this post. The first "listed" file will be included in RSS feeds.

Attach new file:

Images are larger than 640x480 will be resized. The maximum upload size is 1 MB. Only files with the following extensions may be uploaded: jpg jpeg gif png svg.

Revision information

Log message:

An explanation of the additions or updates being made to help other authors understand your motivations.

Convert "every x" into a single arbitrary x

Recent articles

Active forum topics

Recent comments