Namespaces
Variants
Actions

Difference between revisions of "Similar sets"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(Tex done)
 
Line 1: Line 1:
A generalization of the elementary geometrical concept of a [[Similarity|similarity]]. Two sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851301.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851302.png" /> that are totally ordered by relations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851303.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851304.png" /> are said to be similar if there exists a [[Bijection|bijection]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851305.png" /> such that for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851306.png" /> it follows from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851307.png" /> that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s085/s085130/s0851308.png" />.
+
A generalization of the elementary geometrical concept of a [[similarity]]. Two sets $A$ and $B$ that are [[totally ordered set|totally ordered]] by relations $R$ and $S$ respectively are said to be similar if there exists a [[bijection]] $f : A \rightarrow B$ such that for any $x,y \in A$ it follows from $x\, R\, y$ that $f(x)\, S\, f(y)$.
  
  
  
 
====Comments====
 
====Comments====
An equivalence class of totally ordered sets under the relation of similarity is often called an order type (cf. also [[Totally ordered set|Totally ordered set]]; [[Order type|Order type]]).
+
An equivalence class of totally ordered sets under the relation of similarity is often called an ''[[order type]]''.
 +
 
 +
{{TEX|done}}

Latest revision as of 18:37, 6 October 2016

A generalization of the elementary geometrical concept of a similarity. Two sets $A$ and $B$ that are totally ordered by relations $R$ and $S$ respectively are said to be similar if there exists a bijection $f : A \rightarrow B$ such that for any $x,y \in A$ it follows from $x\, R\, y$ that $f(x)\, S\, f(y)$.


Comments

An equivalence class of totally ordered sets under the relation of similarity is often called an order type.

How to Cite This Entry:
Similar sets. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Similar_sets&oldid=14379
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article