Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Up to
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
[[File:Partitions of 6-set with 3 singletons.svg|thumb|''Top:'' In a [[hexagon]] vertex set there are 20 [[Partition of a set|partitions]] which have one three-element subset (green) and three single-element subsets (uncolored). ''Bottom:'' Of these, there are 4 partitions up to rotation, and 3 partitions up to rotation and reflection.]]{{Short description|Mathematical statement of uniqueness, except for an equivalent structure (equivalence relation)}}Two [[Mathematical object|mathematical objects]] {{mvar|a}} and {{mvar|b}} are called "equal '''up to''' an [[equivalence relation]] {{mvar|R}}" * if {{mvar|a}} and {{mvar|b}} are related by {{mvar|R}}, that is, * if {{math|''aRb''}} holds, that is, * if the [[equivalence classes]] of {{mvar|a}} and {{mvar|b}} with respect to {{mvar|R}} are equal. This figure of speech is mostly used in connection with expressions derived from equality, such as uniqueness or count. For example, "{{mvar|x}} is unique up to {{mvar|R}}" means that all objects {{mvar|x}} under consideration are in the same equivalence class with respect to the relation {{mvar|R}}. Moreover, the equivalence relation {{mvar|R}} is often designated rather implicitly by a generating condition or transformation. For example, the statement "an integer's prime factorization is unique up to ordering" is a concise way to say that any two lists of prime factors of a given integer are equivalent with respect to the relation {{mvar|R}} that relates two lists if one can be obtained by reordering ([[permutation|permuting]]) the other.<ref>{{Cite web|url=https://webusers.imj-prg.fr/~jan.nekovar/co/en/en.pdf|title=Mathematical English (a brief summary)|last=Nekovář|first=Jan|date=2011|website=Institut de mathématiques de Jussieu – Paris Rive Gauche|access-date=2024-02-08}}</ref> As another example, the statement "the solution to an indefinite integral is {{math|sin(''x'')}}, up to addition of a constant" tacitly employs the equivalence relation {{mvar|R}} between functions, defined by {{math|''fRg''}} if the difference {{math|''f''−''g''}} is a constant function, and means that the solution and the function {{math|sin(''x'')}} are equal up to this {{mvar|R}}. In the picture, "there are 4 partitions up to rotation" means that the set {{mvar|P}} has 4 equivalence classes with respect to {{mvar|R}} defined by {{math|''aRb''}} if {{mvar|b}} can be obtained from {{mvar|a}} by rotation; one representative from each class is shown in the bottom left picture part. Equivalence relations are often used to disregard possible differences of objects, so "up to {{mvar|R}}" can be understood informally as "ignoring the same subtleties as {{mvar|R}} ignores". In the factorization example, "up to ordering" means "ignoring the particular ordering". Further examples include "up to isomorphism", "up to permutations", and "up to rotations", which are described in the [[Up to#Examples|Examples section]]. In informal contexts, mathematicians often use the word '''[[modulo (jargon)|modulo]]''' (or simply '''mod''') for similar purposes, as in "modulo isomorphism". Objects that are distinct up to an equivalence relation defined by a group action, such as rotation, reflection, or permutation, can be counted using [[Burnside's lemma]] or its generalization, [[Pólya enumeration theorem]]. ==Examples== ===Tetris=== [[File:Tetrominoes IJLO STZ Worlds.svg|thumb|Tetris pieces I, J, L, O, S, T, Z]] Consider the seven [[Tetris]] pieces (I, J, L, O, S, T, Z), known mathematically as the [[tetromino]]es. If you consider all the possible rotations of these pieces — for example, if you consider the "I" oriented vertically to be distinct from the "I" oriented horizontally — then you find there are 19 distinct possible shapes to be displayed on the screen. (These 19 are the so-called "fixed" tetrominoes.<ref>{{MathWorld |id=Tetromino |title=Tetromino |access-date=2023-09-26}}</ref>) But if rotations are not considered distinct — so that we treat both "I vertically" and "I horizontally" indifferently as "I" — then there are only seven. We say that "there are seven [[tetromino]]es, up to rotation". One could also say that "there are five tetrominoes, up to rotation and reflection", which accounts for the fact that L reflected gives J, and S reflected gives Z. ===Eight queens=== [[File:Skak 8dronning.png|thumb|A solution of the eight queens problem]] In the [[eight queens puzzle]], if the queens are considered to be distinct (e.g. if they are colored with eight different colors), then there are 3709440 distinct solutions. Normally, however, the queens are considered to be interchangeable, and one usually says "there are {{math|1=3,709,440 / 8! = 92}} unique solutions up to [[permutation]] of the queens", or that "there are 92 solutions modulo the names of the queens", signifying that two different arrangements of the queens are considered equivalent if the queens have been permuted, as long as the set of occupied squares remains the same. If, in addition to treating the queens as identical, [[rotation]]s and [[Reflection (mathematics)|reflection]]s of the board were allowed, we would have only 12 distinct solutions "up to [[symmetry]] and the naming of the queens". For more, see {{format link|Eight queens puzzle#Solutions}}. ===Polygons=== The [[regular polygon|regular {{mvar|n}}-gon]], for a fixed {{mvar|n}}, is unique up to [[similarity (geometry)|similarity]]. In other words, the "similarity" equivalence relation over the regular {{mvar|n}}-gons (for a fixed {{mvar|n}}) has only one equivalence class; it is impossible to produce two regular {{mvar|n}}-gons which are not similar to each other. ===Group theory=== In [[group theory]], one may have a [[group (mathematics)|group]] {{mvar|G}} [[Group action (mathematics)|acting]] on a set {{mvar|X}}, in which case, one might say that two elements of {{mvar|X}} are equivalent "up to the group action"—if they lie in the same [[Group action (mathematics)|orbit]]. Another typical example is the statement that "there are two different [[group (mathematics)|groups]] of order 4 up to [[isomorphism]]", or "modulo isomorphism, there are two groups of order 4". This means that, if one considers [[group isomorphism|isomorphic]] groups "equivalent", there are only two equivalence classes of groups of order 4. ===Nonstandard analysis=== A [[hyperreal number|hyperreal]] {{mvar|x}} and its [[standard part function|standard part]] {{math|st(''x'')}} are equal up to an [[infinitesimal]] difference. ==See also== {{Wiktionary}} *[[Abuse of notation]] *[[Adequality]] *[[Essentially unique]] *[[List of mathematical jargon]] *[[Modulo (jargon)]] *[[Quotient group]] *[[Quotient set]] ==References== <references/> [[Category:Mathematical terminology]]
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)
Pages transcluded onto the current version of this page
(
help
)
:
Template:Cite web
(
edit
)
Template:Format link
(
edit
)
Template:Math
(
edit
)
Template:MathWorld
(
edit
)
Template:Mvar
(
edit
)
Template:SfnRef
(
edit
)
Template:Short description
(
edit
)
Template:Sister project
(
edit
)
Template:Wiktionary
(
edit
)