muzik wrote:Is this identical to a sphere?
Yes.
muzik wrote:Is this identical to a sphere?
x = 119, y = 113, rule = B3/S23
49bo$50b2o$52bo$53b2o$55bo$56b2o$58b2o$59b2o$60b2o$8b97o$8bo53bo41bo$
8bo52bo42bo$8bo51bo43bo$8bo49b2o44bo$8bo48bo46bo$8bo47bo47bo$8bo45b2o
48bo$8bo43b2o50bo$8bo42bo13b3o36bo$8bo41bo14bobo36bo$8bo40bo15b3o36bo$
8bo40bo15bobo36bo$8bo56bobo36bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95b
o$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo
95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo11b2o82bo13bo$8b3o9bob
o81bo12bo$8b3o9b2o82bo12bo$7b2o2bo8bobo69bo11bo11bo$6bobo2bo8b2o71bo
10bo11bo$5bo2bo3bo80bo10bo10bo$4bo3bo3bo81b2o8bo9bo$3bo4bo4bo82bo7bo8b
o$2bo5bo5b2o80bo7bo7bo$bo6bo7bo70b3o7bo6bo6bo$o7bo78bobo8bo5bo5bo$8bo
78b3o9bo4bo4bo$8b4o75bobo10bo3bo4bo$7b2o2bo75bobo11bo2bo3bo$6bobo3bo
89b3o2bo$5bo2bo4b2o88b2obo$4bo3bo6bo88b2o$4bo3bo95bo$3bo4bo95bo$3bo4bo
95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$
8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95b
o$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo95bo$8bo45b2o48bo
$8bo45bobo47bo$8bo45b2o48bo$8bo45bobo47bo$8bo45b2o48bo$8bo95bo$8bo95bo
$8bo95bo$8bo95bo$8bo95bo$8bo47bo47bo$8bo45b2o48bo$8bo45bo49bo$8bo44bo
9bo40bo$8bo43bo7b4o40bo$8bo41b2o7b2o43bo$8bo40bo8bo45bo$8bo40bo6b2o46b
o$8bo38b2o7bo47bo$8b97o$48bo6b2o$49bo6bo$50b2o5bo$52bo5b2o$53bo6bo$54b
2o$56b2o!
x = 325, y = 120, rule = B3/S23
49bo219bo$50b2o218b2o$52bo219bo$53b2o218b2o$55bo219bo$56b2o218b2o$58b
2o218b2o$59b2o218b2o$60b2o218b2o$8b97o123b97o$8bo53bo40b2o123bo53bo40b
2o$8bo52bo40b3o122b2o52bo40bo$8bo51bo40b2obo121b3o51bo40b2o$8bo49b2o
41bo2bo121bobo49b2o41bo$8bo48bo42bo3bo120b2obo48bo42bo$8bo47bo43bo3bo
119b2o2bo47bo43bo$8bo45b2o43bo4bo119bo3bo45b2o43bo$8bo43b2o44bo5bo118b
2o3bo43b2o44bo$8bo42bo13b3o28b2o6bo118bo4bo42bo13b3o28b2o$8bo41bo14bob
o27b2o7bo116b2o5bo41bo14bobo27b2o$8bo40bo15b3o27bo8bo115b2o6bo40bo15b
3o27bo$8bo40bo15bobo26bo9bo115bo7bo40bo15bobo26bo$8bo56bobo25bo10bo
115bo7bo56bobo25bo$8bo82b2o11bo114bo8bo82b2o$8bo80b2o13bo114bo8bo80b2o
$8bo80bo14bo113bo9bo80bo$8bo79bo15bo112bo10bo79bo$8bo78b2o15bo111bo11b
o78b2o$8bo77bo17bo110bo12bo77bo$8bo76bo18bo108b2o13bo76bo$8bo75b2o18bo
107b2o14bo75b2o$8bo74bo20bo107bo15bo74bo$8bo73bo21bo106bo16bo73bo$8bo
73bo21bo104b2o17bo73bo$8bo72bo22bo103b2o18bo72bo$8bo72bo22bo101b2o20bo
72bo$8bo70b2o23bo99b2o22bo70b2o$8bo69bo25bo98bo24bo69bo$8bo68bo26bo96b
2o25bo68bo$8bo67bo27bo95b2o26bo67bo$8bo65b2o28bo93b2o28bo65b2o$8bo63b
2o30bo92b2o29bo63b2o$8bo11b2o30b3o16b2o31bo13bo78bo30bo11b2o30b3o16b2o
$8b3o9bobo29bo18bo32bo12bo78bo31b3o9bobo29bo18bo$8b3o9b2o29bo17b2o33bo
12bo78bo31b3o9b2o29bo17b2o$7b2o2bo8bobo27bo17bo23bo11bo11bo78bo31b2o2b
o8bobo27bo17bo$6bobo2bo8b2o28bo16b2o24bo10bo11bo77bo31bobo2bo8b2o28bo
16b2o$5bo2bo3bo37bo15b2o25bo10bo10bo77bo31bo2bo3bo37bo15b2o$4bo3bo3bo
37b5o10b2o27b2o8bo9bo76b2o31bo2b2o3bo37b5o10b2o$3bo4bo4bo50b2o30bo7bo
8bo72bo3bo32bo3b3o3bo50b2o$2bo5bo5b2o48bo31bo7bo7bo73bo2bo32bo2b2obobo
3b2o48bo$bo6bo7bo46bo23b3o7bo6bo6bo74bobo32bo2bo3bo2bo4bo46bo$o7bo45b
11o22bobo8bo5bo5bo69bo5b2o32bo3bo3bo2bo42b11o$8bo51bo3bo22b3o9bo4bo4bo
70bo5b2o35bo4bo3bo47bo3bo$8b4o47bo4bo22bobo10bo3bo4bo70bo5b2o34bo5b4ob
o45bo4bo$7b2o2bo47bo4bo22bobo11bo2bo3bo66bo4bo3b2o2b5o27b2o5b2o2bo2bo
44bo4bo$6bobo3bo43bobo5bo37b3o2bo67bo4bob2o36bo5bob2o2bobo41bobo5bo$5b
o2bo4b2o36b7o6bo38b2obo68bo3b3o37bo5b6o2b3o35b7o6bo$4bo3bo6bo40b3o5b2o
38b2o69bo4b2o3b6o33bobobo2bo3bo40b3o5b2o$4bo3bo46bo2bo6bo38bo70bo3bob
4o39b2o2bo3bo42bo2bo6bo$3bo4bo46bo2bo6bo38bo70bob2o44b2o3bo3bo42bo2bo
6bo$3bo4bo45bo3bo5bo39bo70b2o46b2o3bo4bo40bo3bo5bo$8bo45bo2bo46bo70bo
47bo4bo45bo2bo$8bo39b6o3bo46bo70bo47bo4bo39b6o3bo$8bo42b3o3bo46bo69b2o
46b2o4bo42b3o3bo$8bo41bo3bo2bo46bo67b2ob7o2bo5b2o36bo41bo3bo2bo$8bo40b
o4bo2bo46bo66b2o8b3o5bo38bo40bo4bo2bo$8bo39bo5bo2bo46bo65b2o17bo38bo
39bo5bo2bo$8bo38bo6bo49bo64b2o18bo38bo38bo6bo$8bo38bo6bo49bo63b2o20b2o
36bo38bo6bo$8bo37bo57bo62bo60bo37bo$8bo36bo58bo62bo60bo36bo$8bo35bo59b
o60b2o61bo35bo$8bo33b2o60bo59b2o62bo33b2o$8bo31b2o62bo59bo63bo31b2o$8b
o30b2o63bo58bo64bo30b2o$8bo30bo64bo58bo64bo30bo$8bo29bo65bo57bo65bo29b
o$8bo28b2o65bo56bo66bo28b2o$8bo28bo66bo55bo67bo28bo$8bo27bo67bo54bo68b
o27bo$8bo26bo68bo54bo68bo26bo$8bo26bo68bo52b2o69bo26bo$8bo25bo69bo50b
2o71bo25bo$8bo25bo69bo49bo73bo25bo$8bo24bo70bo48bo74bo24bo$8bo23b2o20b
2o48bo47b2o74bo23b2o$8bo23bo21bobo47bo46bo76bo23bo$8bo22bo22b2o48bo45b
o23b3o51bo22bo$8bo20b2o23bobo47bo44b2o23bobo51bo20b2o$8bo19b2o24b2o48b
o42b2o25b3o51bo19b2o$8bo19bo75bo42bo26bobo51bo19bo$8bo18bo76bo41bo27bo
bo51bo18bo$8bo17bo77bo41bo21bo59bo17bo$8bo16bo78bo40bo23b2o57bo16bo$8b
o15bo79bo39bo26bo56bo15bo$8bo13b2o32bo47bo37b2o27bo56bo13b2o$8bo10b3o
32b2o48bo36b2o29b2o54bo10b3o$8bo9b2o34bo49bo36bo32bo53bo9b2o$8bo9bo34b
o9bo40bo35bo34bo52bo9bo$8bo7b2o34bo7b4o40bo34bo36bo51bo7b2o$8bo5b3o33b
2o7b2o43bo32b2o38bo50bo5b3o$8bo4b2o34bo8bo45bo30b2o41bo49bo4b2o$8bo2b
3o35bo6b2o46bo29b2o43bo48bo2b3o$8bob2o35b2o7bo47bo29bo44b2o47bob2o$8b
97o27b100o$48bo6b2o124bo$49bo6bo123bo$50b2o5bo121bo$52bo5b2o118bo$53bo
6bo115b2o$54b2o119bo$56b2o116bo$173bo$172bo$171bo$170bo$168b2o$166b2o$
165bo!
x = 111, y = 106, rule = B3/S23
41bo$42b2o$44bo$45b2o$47bo$48b2o$50b2o$51b2o$52b2o$97o$o53bo41bo$o52bo
42bo$o51bo43bo$o49b2o44bo$o48bo46bo$o47bo47bo$o45b2o48bo$o43b2o50bo$o
42bo52bo$o41bo53bo$o40bo54bo$o40bo54bo$o95bo$o48b3o44bo$o48bobo44bo$o
48b3o44bo$o48bobo44bo$o48bobo44bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$
o95bo$o95bo$o95b2o$o95b3o$o94b2obo$o93b3o2bo$o93bobo3bo$o92b2obo3bo$o
92bo2bo4bo$o91bo3bo4b2o$o91bo3bo5bo$o90bo4bo5b2o$o90bo4bo6bo$o89bo5bo
7bo$o79b3o7bo5bo7bo$o79bobo6bo6bo7b2o$o79b3o6bo6bo8bo$o79bobo5bo7bo8bo
$o79bobo4bo8bo9bo$o86bo8bo10bo$o86bo8bo10bo$o85bo9bo10b2o$o85bo9bo11bo
$o84bo10bo11bo$o95bo11b2o$o95bo12b2o$o95bo$o95bo$o95bo$o95bo$o95bo$o
95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo
$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o
95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo$o95bo
$o95bo$o95bo$o95bo$o95bo$o95bo$97o!
x = 19, y = 10, rule = LifeHistory
7.D3.D$6.DCD.DCD$5.DC2AD2ACD$3.2DAC2.A2.CA2D$3.AC.C2.D2.C.CA$.2D.C.AD
.A.DA.C.2D$.2C.A2.A3.A2.A.2C$.CA.2D7.2D.AC$DC2.2A7.2A2.CD$2A15.2A!
#C [[ STOP 2 ]]
Hunting wrote:Which kind of curves(not functions) has the following property:
All tangent lines intersects with the curves only once?
An example is circle.
Is it possible to have one or multiple(but finite number of) formulas that can describe all of them?
This part is definitely correct. Even if we limit ourselves to D8 symmetric infinitely differentiable convex curves there will still be 2^ℕ of them, which is Too Many.My gut feeling is also that you can't describe them all using a finite set of formulae (even allowing for parametrization[1]), for you can take any concave, monotonically increasing function on an interval [a, b], and mirror it four-fold (think D4 symmetry) to yield such a curve (and set). Since there's more than 2^{\aleph_0} concave, monotonically increasing functions (proof left as an exercise for the reader), these cannot be described by a finite number of formulae, and as such neither can the curves you're interested in.
Apple Bottom wrote:Hunting wrote:Which kind of curves(not functions) has the following property:
All tangent lines intersects with the curves only once?
An example is circle.
Is it possible to have one or multiple(but finite number of) formulas that can describe all of them?
My gut feeling is that those curves are precisely the boundaries of convex sets.
My gut feeling is also that you can't describe them all using a finite set of formulae (even allowing for parametrization[1]), for you can take any concave, monotonically increasing function on an interval [a, b], and mirror it four-fold (think D4 symmetry) to yield such a curve (and set). Since there's more than 2^{\aleph_0} concave, monotonically increasing functions (proof left as an exercise for the reader), these cannot be described by a finite number of formulae, and as such neither can the curves you're interested in.
x = 19, y = 10, rule = LifeHistory
7.D3.D$6.DCD.DCD$5.DC2AD2ACD$3.2DAC2.A2.CA2D$3.AC.C2.D2.C.CA$.2D.C.AD
.A.DA.C.2D$.2C.A2.A3.A2.A.2C$.CA.2D7.2D.AC$DC2.2A7.2A2.CD$2A15.2A!
#C [[ STOP 2 ]]
Hunting wrote:Which kind of curves(not functions) has the following property:
All tangent lines intersects with the curves only once?
An example is circle.
Is it possible to have one or multiple(but finite number of) formulas that can describe all of them?
BlinkerSpawn wrote:Hunting wrote:Which kind of curves(not functions) has the following property:
All tangent lines intersects with the curves only once?
An example is circle.
Is it possible to have one or multiple(but finite number of) formulas that can describe all of them?
This set contains the set of closed convex curves as a subset.
If we require the curves to be closed, this is the entire set, since the tangent line will sweep out the entire plane during a circumnavigation of the curve.
Otherwise, we can also use sets of open segments of convex curves, arranged such that no piece touches any sector swept out by the tangent of any other (for example, two halves of a circle separated by one unit perpendicular to the slice).
P.S. I'm fairly sure the set of convex closed curves has cardinality on the order of \aleph_1^{\aleph_1}, since unrolling the curve gives a segment which can be bijected onto the positive reals and each point on the curve can have any(?) positive real curvature.
P.P.S. This doesn't count curves with cusps, but I don't think adding the possibility of jump discontinuities in the first derivative changes the final answer.
x = 19, y = 10, rule = LifeHistory
7.D3.D$6.DCD.DCD$5.DC2AD2ACD$3.2DAC2.A2.CA2D$3.AC.C2.D2.C.CA$.2D.C.AD
.A.DA.C.2D$.2C.A2.A3.A2.A.2C$.CA.2D7.2D.AC$DC2.2A7.2A2.CD$2A15.2A!
#C [[ STOP 2 ]]
BlinkerSpawn wrote:P.S. I'm fairly sure the set of convex closed curves has cardinality on the order of \aleph_1^{\aleph_1}, since unrolling the curve gives a segment which can be bijected onto the positive reals and each point on the curve can have any(?) positive real curvature.
P.P.S. This doesn't count curves with cusps, but I don't think adding the possibility of jump discontinuities in the first derivative changes the final answer.
Hunting wrote:BlinkerSpawn wrote:This set contains the set of closed convex curves as a subset.
If we require the curves to be closed, this is the entire set, since the tangent line will sweep out the entire plane during a circumnavigation of the curve.
Otherwise, we can also use sets of open segments of convex curves, arranged such that no piece touches any sector swept out by the tangent of any other (for example, two halves of a circle separated by one unit perpendicular to the slice).
[...]
Alright. Another example(I forgot to mention) is any exponential curve which is not closed.
Is there a proof for the "closed convex curves as a subset"?
Users browsing this forum: No registered users and 1 guest