A k-pyramid \({P^k}\) is the convex hull of a \(\left( {k - {\bf{1}}} \right)\)-polytope Q and a point \({\bf{x}} \notin {\bf{aff}}\,\,Q\). Find a formula for each of the following in terms of \({f_j}\left( Q \right),j = {\bf{0}},......,n - {\bf{1}}\).

a. The number of vertices of \({P^n}\): \({f_{\bf{0}}}\left( {{P^n}} \right)\).

b. The number of k-faces of \({P^n}\): \({f_k}\left( {{P^n}} \right)\), for \({\bf{1}} \le k \le n - {\bf{2}}\)

c. The number of \(\left( {n - {\bf{1}}} \right)\) dimensional facets of \({P^n}\): \({f_{n - {\bf{1}}}}\left( {{P^n}} \right)\).

Short Answer

Expert verified

a. \({f_0}\left( {{P^n}} \right) = {f_0}\left( Q \right) + 1\)

b. \({f_k}\left( {{P^n}} \right) = {f_k}\left( Q \right) + {f_{k - 1}}\left( Q \right)\)

c. \({f_{n - 1}}\left( {{P^n}} \right) = {f_{n - 2}}\left( Q \right) + 1\)

Step by step solution

01

Find the formula for part (a)

As k pyramid is the convex hull of \(\left( {k - 1} \right)\) polytope Q and \(x \notin {\rm{aff}}\,\,Q\), then the formula for vertices of \({P_n}\) is shown below:

\({f_0}\left( {{P^n}} \right) = {f_0}\left( Q \right) + 1\)

Thus, the formula is \({f_0}\left( {{P^n}} \right) = {f_0}\left( Q \right) + 1\).

02

Find the formula for part (b)

The number of k-faces of \({P_n}\) is given by the formula as shown below:

\({f_k}\left( {{P^n}} \right) = {f_k}\left( Q \right) + {f_{k - 1}}\left( Q \right)\)

Thus, the formula is \({f_k}\left( {{P^n}} \right) = {f_k}\left( Q \right) + {f_{k - 1}}\left( Q \right)\).

03

Find the formula for part (c)

The number of \(n - 1\) dimensional faces of \({P^n}\) is given by the formula\({f_{n - 1}}\left( {{P^n}} \right) = {f_{n - 2}}\left( Q \right) + 1\).

Thus, the formula is \({f_{n - 1}}\left( {{P^n}} \right) = {f_{n - 2}}\left( Q \right) + 1\).

Unlock Step-by-Step Solutions & Ace Your Exams!

  • Full Textbook Solutions

    Get detailed explanations and key concepts

  • Unlimited Al creation

    Al flashcards, explanations, exams and more...

  • Ads-free access

    To over 500 millions flashcards

  • Money-back guarantee

    We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with Vaia!

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

Question: Let \({{\bf{v}}_{\bf{1}}} = \left( {\begin{array}{*{20}{c}}{\bf{1}}\\{\bf{0}}\\{\bf{3}}\\{\bf{0}}\end{array}} \right)\), \({{\bf{v}}_{\bf{2}}} = \left( {\begin{array}{*{20}{c}}{\bf{2}}\\{ - {\bf{1}}}\\{\bf{0}}\\{\bf{4}}\end{array}} \right)\), and \({{\bf{v}}_{\bf{2}}} = \left( {\begin{array}{*{20}{c}}{ - {\bf{1}}}\\{\bf{2}}\\{\bf{1}}\\{\bf{1}}\end{array}} \right)\)

\({{\bf{p}}_{\bf{1}}} = \left( {\begin{array}{*{20}{c}}{\bf{5}}\\{ - {\bf{3}}}\\{\bf{5}}\\{\bf{3}}\end{array}} \right)\) b. \({{\bf{p}}_{\bf{2}}} = \left( {\begin{array}{*{20}{c}}{ - {\bf{9}}}\\{{\bf{10}}}\\{\bf{9}}\\{ - {\bf{13}}}\end{array}} \right)\) c. \({{\bf{p}}_{\bf{3}}} = \left( {\begin{array}{*{20}{c}}{\bf{4}}\\{\bf{2}}\\{\bf{8}}\\{\bf{5}}\end{array}} \right)\)

and \(S = \left\{ {{{\bf{v}}_1},\,\,{{\bf{v}}_2},\,{{\bf{v}}_3}} \right\}\). It can be shown that S is linearly independent.

a. Is \({{\bf{p}}_{\bf{1}}}\) is span S? Is \({{\bf{p}}_{\bf{1}}}\) is \({\bf{aff}}\,S\)?

b. Is \({{\bf{p}}_{\bf{2}}}\) is span S? Is \({{\bf{p}}_{\bf{2}}}\) is \({\bf{aff}}\,S\)?

c. Is \({{\bf{p}}_{\bf{3}}}\) is span S? Is \({{\bf{p}}_{\bf{3}}}\) is \({\bf{aff}}\,S\)?

In Exercises 21-26, prove the given statement about subsets A and B of \({\mathbb{R}^n}\), or provide the required example in \({\mathbb{R}^2}\). A proof for an exercise may use results from earlier exercises (as well as theorems already available in the text).

21. If \(A \subset B\), then B is affine, then \({\mathop{\rm aff}\nolimits} A \subset B\).

Question: 13. Suppose \(\left\{ {{{\rm{v}}_{\rm{1}}}{\rm{,}}{{\rm{v}}_{\rm{2}}}{\rm{,}}{{\rm{v}}_{\rm{3}}}} \right\}\) is a basis for \({\mathbb{R}^3}\). Show that Span \(\left\{ {{{\rm{v}}_{\rm{2}}} - {{\rm{v}}_{\rm{1}}},{{\rm{v}}_{\rm{3}}} - {{\rm{v}}_{\rm{1}}}} \right\}\) is a plane in \({\mathbb{R}^3}\). (Hint: What can you say about \({\rm{u}}\) and \({\rm{v}}\)when Span \(\left\{ {{\rm{u,v}}} \right\}\) is a plane?)

Question: In Exercise 5, determine whether or not each set is compact and whether or not it is convex.

5. Use the sets from Exercise 3.

In Exercises 1-6, determine if the set of points is affinely dependent. (See Practice Problem 2.) If so, construct an affine dependence relation for the points.

3.\(\left( {\begin{aligned}{{}}1\\2\\{ - 1}\end{aligned}} \right),\left( {\begin{aligned}{{}}{ - 2}\\{ - 4}\\8\end{aligned}} \right),\left( {\begin{aligned}{{}}2\\{ - 1}\\{11}\end{aligned}} \right),\left( {\begin{aligned}{{}}0\\{15}\\{ - 9}\end{aligned}} \right)\)

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.

Sign-up for free