≈ Math notations congruent, homeomorphic, isomorphic, topologically isomorphic

 

Definition 0.1. For our purposes, a set is a (possibly infinite or empty) collection of objects.




https://www.math.utah.edu/~schwede/MichiganClasses/math185/NotationAndTerminology.pdf


The notations 

 and  are not totally standardized. Both are usually used for "isomorphic" which means "the same in whatever context we are." For example "geometrically isomorphic" usually means "congruent," "topologically isomorphic" means "homeomorphic," et cetera: it means they're somehow the "same" for the structure you're considering, in some senses they are "equivalent," though not always "equal:" you could have two congruent triangles at different places in a plane, so they wouldn't literally be "the same" but their intrinsic properties are the same. I've seen colleagues use both for isomorphic, and some (mostly the stable homotopy theorists I hang out with) will use  for "homeomorphic" and  for "up to homotopy equivalence," but then others will use the same two symbols, for the same purposes, but reversing which gets which symbol.

The  is used mostly in terms of numerical approximations, meaning that the values in questions are "close" to each other in whatever context one is working, and often it is less precise exactly how "close." Topologists also have a tendency to use  for homeomorphic.

The main take-away from this answer: notation is not always standardized, and it's important to make sure you understand in whatever context you're working.

댓글

이 블로그의 인기 게시물

About AActor!!! "UObject" has no member "BeginPlay"

UNREAL Android build information

C++ 생성자 위임 (delegating constructor)