How to use compactness

a repository of mathematical know-how

How to use compactness

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]

Compactness is an all-pervasive concept in mathematics. But it is also a tool that can be used for solving problems. This article briefly explains some typical uses (see the quick descriptions) and gives links to other more detailed articles.

===The articles===

[[Convergent subsequences and diagonalization]] [cut] Quick description || A topological space is ''sequentially compact'' if every sequence has a convergent subsequence. One form of the Bolzano-Weierstrass theorem states that a closed bounded subset of $\mathbb{R}^n$ is sequentially compact. More generally, compact metric spaces are sequentially compact. These facts have many applications. Also, some useful diagonalization techniques can be interpreted as saying that certain topological spaces are sequentially compact -- as a result, one often hears the phrase "by compactness" when no topology has been specifically mentioned. [/cut]

[[Discretization followed by compactness arguments]] [cut] Quick description || Often one proves a theorem about a continuous structure by finding a fairly dense finite subset of it and proving a finite statement about that instead. For this one needs the continuous structure to have a suitable compactness property. [/cut]

[[Using the fact that a continuous function on a compact set attains its bounds]] [cut] Quick description || A continuous real-valued function defined on a compact topological space is bounded and attains its bounds. This fact has many applications, as this article demonstrates with some varied examples. [/cut]

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.

How to use compactness

Recent articles

Active forum topics

Recent comments