Let a complete fan in a -dimensional real vector space have ray generators . Every cone of the fan lies in the positive hull . If , these vectors do not span the space. If , either they still fail to span, or they are linearly independent and their positive hull is a proper strictly convex cone. In either case their positive hull cannot be the whole vector space, contrary to completeness. Hence .
The bound is attained: take rays through
and cones generated by every proper subset of these rays. This is the simplex fan, which is complete and has rays. Therefore the minimal number is .
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.