Killing tensor - Revision history

en>Mark viking: /* top */ Added wl

2014-08-18T21:18:34Z

top: Added wl

← Older revision		Revision as of 23:18, 18 August 2014
Line 1:		Line 1:
	~~{{Unreferenced\|date=November 2006}}~~		Friends contact him Royal. Her spouse and her chose to reside in Delaware but she needs to transfer because of her family. Meter reading is where my main earnings comes from but soon I'll be on my own. One of my preferred hobbies is tenting and now I'm attempting to make money with it.<br><br>Feel free to surf to my web page: [http://lahnsinfonie.de/index.php?mod=users&action=view&id=18009 extended auto warranty]
	~~In [[mathematics]], the term '''essentially unique''' is used~~ to ~~indicate that while some object is not the only one that satisfies certain properties, all such objects are "the same"~~ in ~~some sense appropriate~~ to ~~the circumstances. This notion~~ of ~~"sameness" is often formalized using an [[equivalence relation]]~~.

	~~A related notion~~ is ~~a [[universal property]],~~ where ~~an object is not only essentially unique,~~ but ~~unique~~ '~~'up to a unique [[isomorphism]]'' (meaning that it has trivial [[automorphism group]])~~. ~~In general given two isomorphic examples~~ of ~~an essentially unique object, there~~ is no '~~'natural'' (unique) isomorphism between them~~.

	~~==Examples==~~
	~~===Set theory===~~
	~~Most basically, there is an essentially unique set of any given [[cardinality]], whether one labels the elements~~ <~~math~~>~~\{1,2,3\}~~<~~/math~~> ~~or <math>\{a,b,c\}</math>.~~
	~~In this case the non-uniqueness of the isomorphism (does one match 1~~ to ~~''a'' or~~ to ~~''c''?) is reflected in the~~ [~~[symmetric group]].~~

	~~On the other hand, there is an essentially unique ''ordered'' set of any given finite cardinality~~: ~~if one writes <math>\{1 < 2 < 3\}<~~/~~math> and <math>\{a< b< c\}<~~/~~math>, then the only order-preserving isomorphism maps 1 to ''a,'' 2 to ''b,'' and 3 to ''c~~.''

	~~===Group theory===~~
	~~Suppose that we seek to classify all possible [[group (mathematics)\|group]]s~~. We would find that there is an essentially unique group containing exactly 3 elements, the [[cyclic group]] of order three. No matter how we choose to write those three elements and denote the group operation, all such groups are [[isomorphic]], hence, "the same".

	~~On the other hand, there is not an essentially unique group with exactly 4 elements, as there are two non-isomorphic examples: the cyclic group of order 4 and the [[Klein four group]].~~

	~~===Measure theory===~~
	Suppose that we seek a [[translation (mathematics)\|translation]]-[[invariant measure\|invariant]], [[strictly positive measure\|strictly positive]], [[locally finite measure]] on the [[real line]]. The solution to this problem is essentially unique: any such measure must be a constant multiple of [[Lebesgue measure]]. Specifying that the measure of the unit interval should be 1 then determines the solution uniquely.

	~~===Topology===~~
	Suppose that we seek to classify all two-dimensional, [[compact space\|compact]], [[simply connected]] [[manifold]]s. We would find an essentially unique solution to this problem: the [[2-sphere]]. In this case, the solution is unique up to [[homeomorphism]].

	===~~Lie theory~~===
	~~A [[maximal compact subgroup]] of a [[semisimple Lie group]] may not be unique, but is unique up to conjugation.~~

	~~==See also==~~
	* [[Classification theorem]]
	* [[Universal property]]

	~~{{DEFAULTSORT:Essentially Unique}}~~
	~~[[Category:Mathematical terminology]~~]

en>Daranz: Reverted 1 edit by Niisapu (talk) identified as vandalism to last revision by A. Parrot. (TW)

2013-02-19T20:08:26Z

Reverted 1 edit by Niisapu (talk) identified as vandalism to last revision by A. Parrot. (TW)

← Older revision		Revision as of 22:08, 19 February 2013
Line 1:		Line 1:
	~~Hi there. My title~~ is ~~Garland even though it~~ is not the ~~name on my beginning certification~~. ~~Managing people~~ is ~~how I make money and~~ it'~~s something I truly enjoy~~. ~~Alabama has always been his home~~. ~~The thing I adore most bottle tops gathering and now I have time~~ to ~~take on new issues~~.<br><br>~~My website~~ ... [~~http~~:~~//www~~.~~amazinghostingsolutions~~.~~com/ActivityFeed/MyProfile/tabid/57/UserId/20310/Default~~.~~aspx car warranty~~]		{{Unreferenced\|date=November 2006}}
			In [[mathematics]], the term '''essentially unique''' is used to indicate that while some object is not the only one that satisfies certain properties, all such objects are "the same" in some sense appropriate to the circumstances. This notion of "sameness" is often formalized using an [[equivalence relation]].

			A related notion is a [[universal property]], where an object is not only essentially unique, but unique ''up to a unique [[isomorphism]]'' (meaning that it has trivial [[automorphism group]]). In general given two isomorphic examples of an essentially unique object, there is no ''natural'' (unique) isomorphism between them.

			==Examples==
			===Set theory===
			Most basically, there is an essentially unique set of any given [[cardinality]], whether one labels the elements <math>\{1,2,3\}</math> or <math>\{a,b,c\}</math>.
			In this case the non-uniqueness of the isomorphism (does one match 1 to ''a'' or to ''c''?) is reflected in the [[symmetric group]].

			On the other hand, there is an essentially unique ''ordered'' set of any given finite cardinality: if one writes <math>\{1 < 2 < 3\}</math> and <math>\{a< b< c\}</math>, then the only order-preserving isomorphism maps 1 to ''a,'' 2 to ''b,'' and 3 to ''c.''

			===Group theory===
			Suppose that we seek to classify all possible [[group (mathematics)\|group]]s. We would find that there is an essentially unique group containing exactly 3 elements, the [[cyclic group]] of order three. No matter how we choose to write those three elements and denote the group operation, all such groups are [[isomorphic]], hence, "the same".

			On the other hand, there is not an essentially unique group with exactly 4 elements, as there are two non-isomorphic examples: the cyclic group of order 4 and the [[Klein four group]].

			===Measure theory===
			Suppose that we seek a [[translation (mathematics)\|translation]]-[[invariant measure\|invariant]], [[strictly positive measure\|strictly positive]], [[locally finite measure]] on the [[real line]]. The solution to this problem is essentially unique: any such measure must be a constant multiple of [[Lebesgue measure]]. Specifying that the measure of the unit interval should be 1 then determines the solution uniquely.

			===Topology===
			Suppose that we seek to classify all two-dimensional, [[compact space\|compact]], [[simply connected]] [[manifold]]s. We would find an essentially unique solution to this problem: the [[2-sphere]]. In this case, the solution is unique up to [[homeomorphism]].

			===Lie theory===
			A [[maximal compact subgroup]] of a [[semisimple Lie group]] may not be unique, but is unique up to conjugation.

			==See also==
			* [[Classification theorem]]
			* [[Universal property]]

			{{DEFAULTSORT:Essentially Unique}}
			[[Category:Mathematical terminology]]

129.215.104.198 at 17:48, 13 July 2012

2012-07-13T17:48:03Z

New page

Hi there. My title is Garland even though it is not the name on my beginning certification. Managing people is how I make money and it's something I truly enjoy. Alabama has always been his home. The thing I adore most bottle tops gathering and now I have time to take on new issues.<br><br>My website ... [http://www.amazinghostingsolutions.com/ActivityFeed/MyProfile/tabid/57/UserId/20310/Default.aspx car warranty]