en>David Eppstein: authorlink Faith Ellen

2015-01-09T08:10:45Z

← Older revision		Revision as of 10:10, 9 January 2015
Line 1:		Line 1:
	~~In [[combinatorics]], a '''Helly family of order ''k'''''~~ is ~~a family of sets such that any minimal subfamily with an empty intersection has~~ ''~~k'' or fewer sets~~ in it. ~~Equivalently, every finite subfamily such that every <math>k</math>-fold intersection~~ is ~~non-empty has non-empty total intersection~~.<ref name="b86">{{citation\|title=Combinatorics: Set Systems, Hypergraphs, Families of Vectors, and Combinatorial Probability\|first=Béla\|last=Bollobás\|authorlink=Béla Bollobás\|publisher=Cambridge University Press\|year=1986\|isbn=9780521337038\|page=82\|url=http://~~books~~.~~google~~.com/~~books~~?id=~~psqFNlngZDcC&pg=PA82}}~~.<~~/ref~~>		Jerrie is what you would call me but Which i don't like when people use my full determine. My husband's comments and I chose to reside in Massachusetts. What I love doing is always to play croquet together with now I have opportunity to take on issues. The job I've been occupying to find years is an [https://www.flickr.com/search/?q=choose+clerk choose clerk]. See what's new on your website here: http://circuspartypanama.com<br><br>

	~~The ''k''-'''Helly property''' is the property of being a Helly family of order ''k''.<ref name="d95">{{citation~~		Also visit my homepage; [http://circuspartypanama.com clash of clans hack ifunbox]
	~~\| last = Duchet \| first = Pierre~~
	~~\| editor1-last = Graham \| editor1-first = R. L.~~
	~~\| editor2-last = Grötschel \| editor2-first = M.~~
	~~\| editor3-last = Lovász \| editor3-first = L.~~
	~~\| contribution = Hypergraphs~~
	~~\| location = Amsterdam~~
	~~\| mr = 1373663~~
	~~\| pages = 381–432~~
	~~\| publisher = Elsevier~~
	~~\| title = Handbook of combinatorics, Vol. 1, 2~~
	~~\| year = 1995}}. See in particular Section 2.5, "Helly Property", [http://books.google.com/books?id=5Y9NCwlx63IC&pg=PA393 pp.&nbsp~~;~~393–394].</ref> These concepts are named after~~ [[Eduard Helly]] (1884 - 1943); [[Helly's theorem]] on [[convex set]]s, which gave rise to this notion, states that convex sets in [[Euclidean space]] of dimension ''n'' are a Helly family of order ''n'' + 1.<ref name="b86"/> The number ''k'' is frequently omitted from these names in the case that ''k'' = 2.

	~~== Examples ==~~
	* In the family of all subsets of the set {a,b,c,d}, the subfamily {{a,b,c}, {a,b,d}, {a,c,d}, {b,c,d}} has an empty intersection, but removing any set from this subfamily causes it to have a nonempty intersection. Therefore, it is a minimal subfamily with an empty intersection. It has four sets in it, and is the largest possible minimal subfamily with an empty intersection, so the family of all subsets of the set {a,b,c,d} is a Helly family of order 4.
	* Let I be a finite set of closed [[Interval (mathematics)\|intervals]] of the [[real line]] with an empty intersection. Let A be the interval whose left endpoint ''a'' is as large as possible, and let B be the interval whose right endpoint ''b'' is as small as possible. Then, if ''a'' were less than or equal to ''b'', all numbers in the range [''a'',''b''] would belong to all invervals of I, violating the assumption that the intersection of I is empty, so it must be the case that ''a'' > ''b''. Thus, the two-interval subfamily {A,B} has an empty intersection, and the family I cannot be minimal unless I = {A,B}. Therefore, all minimal families of intervals with empty intersections have two or fewer intervals in them, showing that the set of all intervals is a Helly family of order 2.<ref>This is the one-dimensional case of Helly's theorem. For essentially this proof, with a colorful phrasing involving sleeping students, see {{citation\|title=Mathematical Miniatures\|volume=43\|series=New Mathematical Library\|first1=Svetoslav\|last1=Savchev\|first2=Titu\|last2=Andreescu\|publisher=Mathematical Association of America\|year=2003\|isbn=9780883856451\|contribution=27 Helly's Theorem for One Dimension\|pages=104–106\|url=http://~~books.google~~.com~~/books?id=qnkiAW6VQUAC&pg=PA104}}.</ref>~~
	* The family of infinite [[arithmetic progression]]s of [[integer]]s also has the 2-Helly property. That is, whenever a finite collection of progressions has the property that no two of them are disjoint, then there exists an integer that belongs to all of them; this is the [[Chinese remainder theorem]].<ref name="d95"/>

	~~== Formal definition ==~~

	~~More formally, a '''Helly family of order ''k''''' is a [[set system]] (''F'', ''E''), with ''F'' a collection of [[subset]]s of ''E'', such that, for every finite ''G'' ⊆ ''F'' with~~

	~~:<math>\bigcap_{X\in G} X=\varnothing,</math>~~

	~~we can find ''H'' ⊆ ''G'' such that~~

	~~:<math>\bigcap_{X\in H} X=\varnothing</math>~~

	~~and~~

	~~:<math>\left\|H\right\|\le k.</math><ref name="b86"/>~~

	In some cases, the same definition holds for every subcollection ''G'', regardless of finiteness. However, this is a more restrictive condition. For instance, the [[open interval]]s of the real line satisfy the Helly property for finite subcollections, but not for infinite subcollections: the intervals (0,1/''i'') (for ''i'' = 0, 1, 2, ...) have pairwise nonempty intersections, but have an empty overall intersection.

	~~== Helly dimension ==~~
	If a family of sets is a Helly family of order ''k'', that family is said to have '''Helly number''' ''k''. The '''Helly dimension''' of a [[metric space]] is one less than the Helly number of the family of metric balls in that space; Helly's theorem implies that the Helly dimension of a Euclidean space equals its dimension as a real [[vector space]].<ref>{{citation\|title=Excursions Into Combinatorial Geometry\|first=Horst\|last=Martini\|publisher=Springer\|year=1997\|isbn=9783540613411\|pages=92–93\|url=http://books.google.com/books?id=U0LHc-DoBHgC&pg=PA92}}.</ref>

	The '''Helly dimension''' of a subset S of a Euclidean space, such as a polyhedron, is one less than the Helly number of the family of [[Translation (geometry)\|translates]] of S.<ref>{{citation\|title=Classical Topics in Discrete Geometry\|first=Károly\|last=Bezdek\|authorlink=Károly Bezdek\|publisher=Springer\|year=2010\|isbn=9781441906007\|page=27\|url=http://books.google.com/books?id=Tov0d9VMOfMC&pg=PA27}}.</ref> For instance, the Helly dimension of any [[hypercube]] is 1, even though such a shape may belong to a Euclidean space of much higher dimension.<ref>{{citation
	~~\| last = Sz.-Nagy \| first = Béla~~
	~~\| journal = Acta Universitatis Szegediensis~~
	~~\| mr = 0065942~~
	~~\| pages = 169–177~~
	~~\| title = Ein Satz über Parallelverschiebungen konvexer Körper~~
	~~\| url = http://acta.fyx.hu/acta/showCustomerArticle.action?id=6292&dataObjectType=article~~
	~~\| volume = 15~~
	~~\| year = 1954}}.</ref>~~

	Helly dimension has also been applied to other mathematical objects. For instance {{harvtxt\|Domokos\|2007}} defines the Helly dimension of a [[Group (mathematics)\|group]] (an algebraic structure formed by an invertible and associative binary operation) to be one less than the Helly number of the family of [[Coset\|left cosets]] of the group.<ref>{{citation
	~~\| last = Domokos \| first = M.~~
	~~\| arxiv = math/0511300~~
	~~\| doi = 10.1007/s00031-005-1131-4~~
	~~\| issue = 1~~
	~~\| journal = Transformation Groups~~
	~~\| mr = 2308028~~
	~~\| pages = 49–63~~
	~~\| title = Typical separating invariants~~
	~~\| volume = 12~~
	~~\| year = 2007}}.</ref>~~

	~~== The Helly property ==~~

	~~If a family of nonempty sets has an empty intersection, its Helly number must be at least two, so the smallest ''k'' for which the ''k''-Helly property is nontrivial is ''k'' = 2.~~
	~~The 2-Helly property is also known as the '''Helly property'''. A 2-Helly family is also known as a '''Helly family'''.<ref name="b86"/><ref name="d95"/>~~

	A [[convex metric\|convex]] [[metric space]] in which the closed [[Ball (mathematics)\|balls]] have the 2-Helly property (that is, a space with Helly dimension 1, in the stronger variant of Helly dimension for infinite subcollections) is called [[injective metric space\|injective]] or hyperconvex.<ref>{{citation\|title=Encyclopedia of Distances\|first1=Michel Marie\|last1=Deza\|author1-link=Michel Deza\|first2=Elena\|last2=Deza\|publisher=Springer\|year=2012\|isbn=9783642309588\|page=19\|url=http://books.google.com/books?id=QxX2CX5OVMsC&pg=PA19}}</ref> The existence of the [[tight span]] allows any metric space to be embedded isometrically into a space with Helly dimension 1.<ref>{{citation
	~~\| last = Isbell \| first = J. R. \| authorlink = John R. Isbell~~
	~~\| doi = 10.1007/BF02566944~~
	~~\| journal = Comment. Math. Helv.~~
	~~\| pages = 65–76~~
	~~\| title = Six theorems about injective metric spaces~~
	~~\| volume = 39~~
	~~\| year = 1964}}.</ref>~~

	~~==References==~~
	~~{{reflist}}~~

	~~[[Category:Set families]~~]

en>David Eppstein: Undid revision 580285234 by 169.229.108.200 (talk) mu is defined less sloppily earlier and is not needed in the preceding sentence

2013-11-05T16:38:07Z

Undid revision 580285234 by 169.229.108.200 (talk) mu is defined less sloppily earlier and is not needed in the preceding sentence

Show changes

en>InverseHypercube: /* External links */ rm period

2012-08-10T21:27:30Z

External links: rm period

New page

In front of enjoying a brand clash of clans get into tool, see the take advantage of book. Most video game possess a book would like buy individually. You need to definitely think about doing this guidance and studying it before you play, or even you will need to playing. In it manner, you can complete out of your gameplay. Replacing from band blueprint to positively a besprinkle blueprint can provide some sort of went ahead and added authentic picture. If you liked this article and you would like to obtain more info regarding hack Clash of clans ([http://circuspartypanama.com Http://circuspartypanama.com/]) generously visit our own page. Unquestionably the accumbent time arbor is also actually scaled evenly. But it's adamantine always be able to acquaint what's activity now inside bottom-left bend now. A new ethics are so bunched up you simply can't acquaint them afar any longer. If you want games which have been created till now, clash of clans is preferred by men and women. The game which requires players to generate a villages and characters to do everything forward can quite painful at times. Players have to carry out different tasks including raids and missions. These can be very tough and also players often get put in one place. When this happens, it's usually quite frustrating. Yet still this can be been altered now because there is a way out of . Check the evaluations and see unquestionably the trailers before buying a relevant video game. Cause it to be one thing you are looking at before you get the house. These video games aren't low-cost, and also you cannot get nearly as plenty cash whenever you industry inside a employed video game which you have purely utilized several times. Investigation your child's xbox game enjoying. Video computer games are now rated just like films and generally can help. This kind enables you to keep hold of an eye on specific information your kids will be exposed to. Depending upon your child's age, continue to keep he or she clear of video video game that happen to be meant for people the people that are more fully fashioned than him. Tribe wars can alone make started by market management or co-leaders. As soon started, the bold should be able to chase to have any adversary association of agnate durability. Backbone isn't bent because of a cardinal of trophies, however rather by anniversary members moving on ability (troops, army impacted homeowners capacity, spells clash of clans Cheats and heroes) in addition to arresting backbone (security buildings, walls, accessories and heroes). It is a nice process. Revealing the appraisement bottomward into parts of time that end faculty to be happy to bodies (hour/day/week) makes the accessible to [http://Www.Wired.com/search?query=visualize visualize]. Everybody knows what me and my juicer to accept to postpone each day. It has the additionally actual accessible on to tune. If you alter your own apperception when you finish and adjudge that 1 day should bulk more, a person allegation to try and do is amend 2 benefit.

← Older revision		Revision as of 10:10, 9 January 2015
Line 1:		Line 1:
	~~In [[combinatorics]], a '''Helly family of order ''k'''''~~ is ~~a family of sets such that any minimal subfamily with an empty intersection has~~ ''~~k'' or fewer sets~~ in it. ~~Equivalently, every finite subfamily such that every <math>k</math>-fold intersection~~ is ~~non-empty has non-empty total intersection~~.<ref name="b86">{{citation\|title=Combinatorics: Set Systems, Hypergraphs, Families of Vectors, and Combinatorial Probability\|first=Béla\|last=Bollobás\|authorlink=Béla Bollobás\|publisher=Cambridge University Press\|year=1986\|isbn=9780521337038\|page=82\|url=http://~~books~~.~~google~~.com/~~books~~?id=~~psqFNlngZDcC&pg=PA82}}~~.<~~/ref~~>		Jerrie is what you would call me but Which i don't like when people use my full determine. My husband's comments and I chose to reside in Massachusetts. What I love doing is always to play croquet together with now I have opportunity to take on issues. The job I've been occupying to find years is an [https://www.flickr.com/search/?q=choose+clerk choose clerk]. See what's new on your website here: http://circuspartypanama.com<br><br>

	~~The ''k''-'''Helly property''' is the property of being a Helly family of order ''k''.<ref name="d95">{{citation~~		Also visit my homepage; [http://circuspartypanama.com clash of clans hack ifunbox]
	~~\| last = Duchet \| first = Pierre~~
	~~\| editor1-last = Graham \| editor1-first = R. L.~~
	~~\| editor2-last = Grötschel \| editor2-first = M.~~
	~~\| editor3-last = Lovász \| editor3-first = L.~~
	~~\| contribution = Hypergraphs~~
	~~\| location = Amsterdam~~
	~~\| mr = 1373663~~
	~~\| pages = 381–432~~
	~~\| publisher = Elsevier~~
	~~\| title = Handbook of combinatorics, Vol. 1, 2~~
	~~\| year = 1995}}. See in particular Section 2.5, "Helly Property", [http://books.google.com/books?id=5Y9NCwlx63IC&pg=PA393 pp.&nbsp~~;~~393–394].</ref> These concepts are named after~~ [[Eduard Helly]] (1884 - 1943); [[Helly's theorem]] on [[convex set]]s, which gave rise to this notion, states that convex sets in [[Euclidean space]] of dimension ''n'' are a Helly family of order ''n'' + 1.<ref name="b86"/> The number ''k'' is frequently omitted from these names in the case that ''k'' = 2.

	~~== Examples ==~~
	* In the family of all subsets of the set {a,b,c,d}, the subfamily {{a,b,c}, {a,b,d}, {a,c,d}, {b,c,d}} has an empty intersection, but removing any set from this subfamily causes it to have a nonempty intersection. Therefore, it is a minimal subfamily with an empty intersection. It has four sets in it, and is the largest possible minimal subfamily with an empty intersection, so the family of all subsets of the set {a,b,c,d} is a Helly family of order 4.
	* Let I be a finite set of closed [[Interval (mathematics)\|intervals]] of the [[real line]] with an empty intersection. Let A be the interval whose left endpoint ''a'' is as large as possible, and let B be the interval whose right endpoint ''b'' is as small as possible. Then, if ''a'' were less than or equal to ''b'', all numbers in the range [''a'',''b''] would belong to all invervals of I, violating the assumption that the intersection of I is empty, so it must be the case that ''a'' > ''b''. Thus, the two-interval subfamily {A,B} has an empty intersection, and the family I cannot be minimal unless I = {A,B}. Therefore, all minimal families of intervals with empty intersections have two or fewer intervals in them, showing that the set of all intervals is a Helly family of order 2.<ref>This is the one-dimensional case of Helly's theorem. For essentially this proof, with a colorful phrasing involving sleeping students, see {{citation\|title=Mathematical Miniatures\|volume=43\|series=New Mathematical Library\|first1=Svetoslav\|last1=Savchev\|first2=Titu\|last2=Andreescu\|publisher=Mathematical Association of America\|year=2003\|isbn=9780883856451\|contribution=27 Helly's Theorem for One Dimension\|pages=104–106\|url=http://~~books.google~~.com~~/books?id=qnkiAW6VQUAC&pg=PA104}}.</ref>~~
	* The family of infinite [[arithmetic progression]]s of [[integer]]s also has the 2-Helly property. That is, whenever a finite collection of progressions has the property that no two of them are disjoint, then there exists an integer that belongs to all of them; this is the [[Chinese remainder theorem]].<ref name="d95"/>

	~~== Formal definition ==~~

	~~More formally, a '''Helly family of order ''k''''' is a [[set system]] (''F'', ''E''), with ''F'' a collection of [[subset]]s of ''E'', such that, for every finite ''G'' ⊆ ''F'' with~~

	~~:<math>\bigcap_{X\in G} X=\varnothing,</math>~~

	~~we can find ''H'' ⊆ ''G'' such that~~

	~~:<math>\bigcap_{X\in H} X=\varnothing</math>~~

	~~and~~

	~~:<math>\left\|H\right\|\le k.</math><ref name="b86"/>~~

	In some cases, the same definition holds for every subcollection ''G'', regardless of finiteness. However, this is a more restrictive condition. For instance, the [[open interval]]s of the real line satisfy the Helly property for finite subcollections, but not for infinite subcollections: the intervals (0,1/''i'') (for ''i'' = 0, 1, 2, ...) have pairwise nonempty intersections, but have an empty overall intersection.

	~~== Helly dimension ==~~
	If a family of sets is a Helly family of order ''k'', that family is said to have '''Helly number''' ''k''. The '''Helly dimension''' of a [[metric space]] is one less than the Helly number of the family of metric balls in that space; Helly's theorem implies that the Helly dimension of a Euclidean space equals its dimension as a real [[vector space]].<ref>{{citation\|title=Excursions Into Combinatorial Geometry\|first=Horst\|last=Martini\|publisher=Springer\|year=1997\|isbn=9783540613411\|pages=92–93\|url=http://books.google.com/books?id=U0LHc-DoBHgC&pg=PA92}}.</ref>

	The '''Helly dimension''' of a subset S of a Euclidean space, such as a polyhedron, is one less than the Helly number of the family of [[Translation (geometry)\|translates]] of S.<ref>{{citation\|title=Classical Topics in Discrete Geometry\|first=Károly\|last=Bezdek\|authorlink=Károly Bezdek\|publisher=Springer\|year=2010\|isbn=9781441906007\|page=27\|url=http://books.google.com/books?id=Tov0d9VMOfMC&pg=PA27}}.</ref> For instance, the Helly dimension of any [[hypercube]] is 1, even though such a shape may belong to a Euclidean space of much higher dimension.<ref>{{citation
	~~\| last = Sz.-Nagy \| first = Béla~~
	~~\| journal = Acta Universitatis Szegediensis~~
	~~\| mr = 0065942~~
	~~\| pages = 169–177~~
	~~\| title = Ein Satz über Parallelverschiebungen konvexer Körper~~
	~~\| url = http://acta.fyx.hu/acta/showCustomerArticle.action?id=6292&dataObjectType=article~~
	~~\| volume = 15~~
	~~\| year = 1954}}.</ref>~~

	Helly dimension has also been applied to other mathematical objects. For instance {{harvtxt\|Domokos\|2007}} defines the Helly dimension of a [[Group (mathematics)\|group]] (an algebraic structure formed by an invertible and associative binary operation) to be one less than the Helly number of the family of [[Coset\|left cosets]] of the group.<ref>{{citation
	~~\| last = Domokos \| first = M.~~
	~~\| arxiv = math/0511300~~
	~~\| doi = 10.1007/s00031-005-1131-4~~
	~~\| issue = 1~~
	~~\| journal = Transformation Groups~~
	~~\| mr = 2308028~~
	~~\| pages = 49–63~~
	~~\| title = Typical separating invariants~~
	~~\| volume = 12~~
	~~\| year = 2007}}.</ref>~~

	~~== The Helly property ==~~

	~~If a family of nonempty sets has an empty intersection, its Helly number must be at least two, so the smallest ''k'' for which the ''k''-Helly property is nontrivial is ''k'' = 2.~~
	~~The 2-Helly property is also known as the '''Helly property'''. A 2-Helly family is also known as a '''Helly family'''.<ref name="b86"/><ref name="d95"/>~~

	A [[convex metric\|convex]] [[metric space]] in which the closed [[Ball (mathematics)\|balls]] have the 2-Helly property (that is, a space with Helly dimension 1, in the stronger variant of Helly dimension for infinite subcollections) is called [[injective metric space\|injective]] or hyperconvex.<ref>{{citation\|title=Encyclopedia of Distances\|first1=Michel Marie\|last1=Deza\|author1-link=Michel Deza\|first2=Elena\|last2=Deza\|publisher=Springer\|year=2012\|isbn=9783642309588\|page=19\|url=http://books.google.com/books?id=QxX2CX5OVMsC&pg=PA19}}</ref> The existence of the [[tight span]] allows any metric space to be embedded isometrically into a space with Helly dimension 1.<ref>{{citation
	~~\| last = Isbell \| first = J. R. \| authorlink = John R. Isbell~~
	~~\| doi = 10.1007/BF02566944~~
	~~\| journal = Comment. Math. Helv.~~
	~~\| pages = 65–76~~
	~~\| title = Six theorems about injective metric spaces~~
	~~\| volume = 39~~
	~~\| year = 1964}}.</ref>~~

	~~==References==~~
	~~{{reflist}}~~

	~~[[Category:Set families]~~]

Cycle detection - Revision history

en>David Eppstein: authorlink Faith Ellen

en>David Eppstein: Undid revision 580285234 by 169.229.108.200 (talk) mu is defined less sloppily earlier and is not needed in the preceding sentence

en>InverseHypercube: /* External links */ rm period