Confused by Metric Space Notation: What Does It Mean?

Click For Summary

Discussion Overview

The discussion revolves around the notation used in metric spaces, specifically the interpretation of the Cartesian product and the "element of" symbol. Participants express confusion about how to read and understand these notations in the context of mathematical statements related to metric spaces.

Discussion Character

  • Conceptual clarification
  • Technical explanation

Main Points Raised

  • One participant expresses confusion about the notation for metric spaces, particularly the meaning of the Cartesian product symbol and the "element of" symbol.
  • Another participant clarifies that the Cartesian product indicates a function of two variables chosen from the set M, rather than an M by M matrix.
  • The "element of" symbol is explained as denoting membership in a set, with an example provided for clarity.
  • A recommendation is made for the original poster to study basic set theory to better understand the notation used in metric spaces.
  • The original poster expresses gratitude for the explanations and shares their intention to study set theory further, noting the abundance of material available.

Areas of Agreement / Disagreement

Participants generally agree on the meanings of the symbols discussed, but the original poster's confusion indicates that there may still be some uncertainty regarding the broader implications of the notation in mathematical contexts.

Contextual Notes

The discussion highlights the challenges of understanding mathematical notation without a solid foundation in set theory, suggesting that prior knowledge may be necessary for clearer comprehension.

rethipher
Messages
23
Reaction score
0
I have a simple question about the notation. I want to be more correct with notation, I don't understand exactly what the notation is saying.

In regards to a Metric space

A metric space is an ordered pair (M,d) where M is a set and d is a metric on M, i.e., a function

{{\bf{d: M \times M}}} (the syntax here)

such that for any x,y,z \in \bf{M} (and the e looking symbol)

Does the times symbol in the first part indicate an M by M matrix, how would this be read. And the e symbol which I don't know the name of, I believe is akin to saying all numbers in, or every set in the space, or something roughly like that. So, how would I read the whole thing given the mathematical statement as written above if there was no explanation surrounding it? I have a lot of trouble reading pure math books sometimes because I don't understand a lot of the simple notation, even though I've seen the material before. I don't necessarily know how to represent the statement mathematically, for instance if I wanted to say something like a function that takes all real numbers as arguments, or considering all real numbers.
 
Physics news on Phys.org
rethipher said:
I have a simple question about the notation. I want to be more correct with notation, I don't understand exactly what the notation is saying.

First thing I want to say, is congrats. Notation is something a lot of students underestimate, so I applaud you on this.

In regards to a Metric space

A metric space is an ordered pair (M,d) where M is a set and d is a metric on M, i.e., a function

{{\bf{d: M \times M}}} (the syntax here)

such that for any x,y,z \in \bf{M} (and the e looking symbol)

Does the times symbol in the first part indicate an M by M matrix, how would this be read. And the e symbol which I don't know the name of, I believe is akin to saying all numbers in, or every set in the space, or something roughly like that. So, how would I read the whole thing given the mathematical statement as written above if there was no explanation surrounding it? I have a lot of trouble reading pure math books sometimes because I don't understand a lot of the simple notation, even though I've seen the material before. I don't necessarily know how to represent the statement mathematically, for instance if I wanted to say something like a function that takes all real numbers as arguments, or considering all real numbers.

The times symbol, when used with sets, is called the Cartesian product. If you don't know set theory, then treat it as "d is a function of two variables, both chosen from M"

The e symbol is the "element of" symbol. ##x \in X## means that X is a set, and x is a member (element) of that set. For example, if X is the set denoting the integers, then x is an integer.
 
My recommendation to you is to first read a book on basic set theory before dealing with metric spaces. A book like "How to prove it" by Velleman should suit your purposes (although it contains much more material than is necessary).
 
Thank you for the clear explanation, it is definitely helpful. My concern with the importance of notation stems more from me being easily confused by ambiguous notation and unclear notation than anything else.

Also, I looked up the set theory book, and it wasn't very expensive to get a used older version of it from 1994, so i went ahead and bought it. Thank you! I was having trouble finding set theory material to study because it seems like there is a large amount of set theory out there, and since it is used in basically every branch of mathematics, it's everywhere.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
2
Views
2K