What does it mean for a theorem to completely characterize something?

  • Thread starter fourier jr
  • Start date
In summary, "completely characterizes" means that the theorem provides a definition or description of a concept or object in a way that is unique and comprehensive. In the context of mathematics, this often refers to a theorem that distinguishes a specific object or property from others and is considered the most general or fundamental result in that area. This can be seen in the example of the Stone-Cech compactification theorem, which uniquely defines and distinguishes the Stone-Cech compactification as the most general compactification of a space.
  • #1
fourier jr
765
13
i've seen the phrase "this theorem completely characterizes such & such" in a couple books, but I'm still not really sure what it means. it's usually used before/after the proof of a (i assume) major theorem, and a definition usually comes out as a result of the theorem. that isn't really all there is to it, right?
 
Mathematics news on Phys.org
  • #2
How about giving an example? I've seen the expression used in the context of something like "the radius and location of the central point completely characterize a circle" which has a fairly clear meaning.
 
  • #3
i guess it's just like that; maybe i just need to get used to the stuff I'm working on. today i went over the theorem that says if K is a compact Hausdorff space & f:X --> K is continuous then there is a continuous [tex]F: \beta X ->K[/tex] such that Foe = f where e is the embedding of X (evaluation map of f) in the cube [tex]\Pi I_g[/tex]
In other words, every continuous function from X to a compact K can be extended to the Stone-Cech compactification of X. & then it goes on to say that this theorem "completely characterizes" the Stone-Cech compactification, up to topological equivalence (kind of like homeomorphism). The Stone-Cech compactification is the only compactification with this extension property (up to topological equivalence), & I guess that's why the book says the theorem characterizes it, right? I was just wondering because I see that phrase every so often & was never really sure what it meant.
 
Last edited:
  • #4
For that, I'll have to defer to the mathematicians here because it's been more years than I care to admit since I took a point set topology course! :)
 
  • #5
In this case it means that if there is any other compact space with an embedding satisfying those rules you laid out then it is (probably canonically) isomorphic (in whatever the correct sense is) to the Stone Cech Compactification.

For instance, the direct product of two sets A and B is 'completely characterized' by being a set (which we label AxB) with projection maps onto A and B 'that are universal' where universal might need explaining. It means that if S is another set with projections onto A and B then there is map from S to AxB and the projections from S to A or B factor (uniquely) through the projections from AxB to A and B.

A non-unique characterization of something might be: an algebraic closure of a field is a field extension such that every polynomial splits. This is not unique. There is an algebraic closure of Q that is not the complex numbers, thus the closure of something is not uniquely characterised. There is probably a way to distinguish 'the smallest' closure though, just like there are many compactifications of a topological space that are *not* the Stone-Cech compactification. For instance, the Stone-Cech Compactification of the open interval (0,1) is (homeomorphic to) the circle S^1, yet there is also the [0,1] closure in R of it. I hope I've got that right: Stone-Cech puts one point at infinity for a connected set like that, doesn't it?)

A common thing that makes this distinction important is the idea that you are often making an infinite number of choices that need to be compatible (in your case, one for each point of the image set or something like that). Sometimes those choices turn out to be canonical and sometimes they are not.

The trivial group is completely characterised up to isomorphism by 'there is an injective group homomorphism from it to every other group'

proof: suppose there were another group with this property $G$, then there is an injection from $G$ to e, which is obviously a surjection, hence an isomorphism, moreover there is a map from e to any group $H$ sending e to e.
 
Last edited:
  • #6
No, the Stone-Cech compactification is the most general compactification:

If X is a space, C is a compact space, and the map X --> C has a dense image, then it factors uniquely through the Stone-Cech compactification.
 
  • #7
there isn't really anything about that theorem in particular that i was having trouble with; it's just that it made me wonder what it meant for a theorem to characterize something, that's all.
 
  • #8
Hurkyl said:
No, the Stone-Cech compactification is the most general compactification:
If X is a space, C is a compact space, and the map X --> C has a dense image, then it factors uniquely through the Stone-Cech compactification.
yeah that's what part of this section in my book ends up showing, that the stone-cech compactification is the 'largest' compactification (& the 1-point compactification is the smallest, incidentally). i went over what i did yesterday 1 more time & went on to the next page & now i think i know what it means for a theorem to characterize something, at least in this case. the other examples given here helped out also. :smile: i guess i could have looked up characterize to find out what it means also: "to describe the character or quality of" & "to point out the chief quality or qualities of an individual or group".
 
  • #9
(& the 1-point compactification is the smallest, incidentally).
Only if the space is not already compact! :smile:
 

1. What does it mean to "completely characterize" something?

To completely characterize something means to fully describe and understand its properties, behavior, and relationships with other things.

2. How is "completely characterizing" different from just describing something?

While describing something may provide a general overview of its features, completely characterizing goes into more depth and detail, often using quantitative measurements and data analysis to fully understand the object or phenomenon.

3. Why is it important to completely characterize something in science?

Completely characterizing something allows scientists to gain a thorough understanding of how it works and how it relates to other things in the natural world. This information is crucial for making accurate predictions, creating effective solutions, and advancing scientific knowledge.

4. What methods are used to completely characterize something?

The methods used to completely characterize something may vary depending on the object or phenomenon being studied, but they often include experiments, observations, data collection and analysis, and mathematical modeling.

5. Can something be completely characterized without any uncertainty?

No, there may always be some level of uncertainty or unknown factors when completely characterizing something. However, scientists strive to minimize uncertainty by using rigorous methods and constantly improving their understanding through further research and experimentation.

Similar threads

Replies
12
Views
1K
  • General Math
Replies
1
Views
2K
  • Differential Equations
Replies
5
Views
608
  • Quantum Interpretations and Foundations
10
Replies
333
Views
11K
Replies
4
Views
307
  • General Math
Replies
10
Views
2K
  • Set Theory, Logic, Probability, Statistics
Replies
7
Views
1K
  • General Math
Replies
1
Views
2K
  • Quantum Physics
Replies
1
Views
518
Back
Top