24,99 €
A Solutions Manual to accompany Geometry of Convex Sets Geometry of Convex Sets begins with basic definitions of the concepts of vector addition and scalar multiplication and then defines the notion of convexity for subsets of n-dimensional space. Many properties of convex sets can be discovered using just the linear structure. However, for more interesting results, it is necessary to introduce the notion of distance in order to discuss open sets, closed sets, bounded sets, and compact sets. The book illustrates the interplay between these linear and topological concepts, which makes the notion of convexity so interesting. Thoroughly class-tested, the book discusses topology and convexity in the context of normed linear spaces, specifically with a norm topology on an n-dimensional space. Geometry of Convex Sets also features: * An introduction to n-dimensional geometry including points; lines; vectors; distance; norms; inner products; orthogonality; convexity; hyperplanes; and linear functionals * Coverage of n-dimensional norm topology including interior points and open sets; accumulation points and closed sets; boundary points and closed sets; compact subsets of n-dimensional space; completeness of n-dimensional space; sequences; equivalent norms; distance between sets; and support hyperplanes · * Basic properties of convex sets; convex hulls; interior and closure of convex sets; closed convex hulls; accessibility lemma; regularity of convex sets; affine hulls; flats or affine subspaces; affine basis theorem; separation theorems; extreme points of convex sets; supporting hyperplanes and extreme points; existence of extreme points; Krein-Milman theorem; polyhedral sets and polytopes; and Birkhoff's theorem on doubly stochastic matrices * Discussions of Helly's theorem; the Art Gallery theorem; Vincensini's problem; Hadwiger's theorems; theorems of Radon and Caratheodory; Kirchberger's theorem; Helly-type theorems for circles; covering problems; piercing problems; sets of constant width; Reuleaux triangles; Barbier's theorem; and Borsuk's problem Geometry of Convex Sets is a useful textbook for upper-undergraduate level courses in geometry of convex sets and is essential for graduate-level courses in convex analysis. An excellent reference for academics and readers interested in learning the various applications of convex geometry, the book is also appropriate for teachers who would like to convey a better understanding and appreciation of the field to students. I. E. Leonard, PhD, was a contract lecturer in the Department of Mathematical and Statistical Sciences at the University of Alberta. The author of over 15 peer-reviewed journal articles, he is a technical editor for the Canadian Applied Mathematical Quarterly journal. J. E. Lewis, PhD, is Professor Emeritus in the Department of Mathematical Sciences at the University of Alberta. He was the recipient of the Faculty of Science Award for Excellence in Teaching in 2004 as well as the PIMS Education Prize in 2002.
Sie lesen das E-Book in den Legimi-Apps auf:
Seitenzahl: 125
Veröffentlichungsjahr: 2016
Cover
Title Page
Copyright
Preface
Chapter 1: Introduction to N-Dimensional Geometry
1.2 Points, Vectors, and Parallel Lines
1.4 Inner Product and Orthogonality
1.6 Hyperplanes and Linear Functionals
Chapter 2: Topology
2.3 Accumulation Points and Closed Sets
2.6 Applications of Compactness
Chapter 3: Convexity
3.2 Basic Properties of Convex Sets
3.3 Convex Hulls
3.4 Interior and Closure of Convex Sets
3.5 Affine Hulls
3.6 Separation Theorems
3.7 Extreme Points of Convex Sets
Chapter 4: Helly's Theorem
4.1 Finite Intersection Property
4.3 Applications of Helly's Theorem
4.4 Sets of Constant Width
Bibliography
Index
End User License Agreement
vii
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
Cover
Table of Contents
Preface
Begin Reading
I. E. Leonard and J. E. Lewis
Department of Mathematical and Statistical Sciences University of Alberta
Copyright © 2017 by John Wiley & Sons, Inc. All rights reserved.
Published by John Wiley & Sons, Inc., Hoboken, New Jersey.
Published simultaneously in Canada.
No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, scanning, or otherwise, except as permitted under Section 107 or 108 of the 1976 United States Copyright Act, without either the prior written permission of the Publisher, or authorization through payment of the appropriate per-copy fee to the Copyright Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, (978) 750-8400, fax (978) 646-8600, or on the web at www.copyright.com. Requests to the Publisher for permission should be addressed to the Permissions Department, John Wiley & Sons, Inc., 111 River Street, Hoboken, NJ 07030, (201) 748-6011, fax (201) 748-6008.
Limit of Liability/Disclaimer of Warranty: While the publisher and author have used their best efforts in preparing this book, they make no representations or warranties with respect to the accuracy or completeness of the contents of this book and specifically disclaim any implied warranties of merchantability or fitness for a particular purpose. No warranty may be created or extended by sales representatives or written sales materials. The advice and strategies contained herein may not be suitable for your situation. You should consult with a professional where appropriate. Neither the publisher nor author shall be liable for any loss of profit or any other commercial damages, including but not limited to special, incidental, consequential, or other damages.
For general information on our other products and services please contact our Customer Care Department with the U.S. at 877-762-2974, outside the U.S. at 317-572-3993 or fax 317-572-4002.
Wiley also publishes its books in a variety of electronic formats. Some content that appears in print, however, may not be available in electronic format.
Library of Congress Cataloging-in-Publication Data:
Leonard, I. Ed., 1938-
Geometry of convex sets / I.E. Leonard, J.E. Lewis.
pages cm
Includes bibliographical references and index.
ISBN 978-1-119-02266-4 (cloth) | ISBN 978-1-119-18418-8 (solutions manual)
1. Convex sets. 2. Geometry. I. Lewis, J. E. (James Edward) II. Title.
QA640.L46 2016
516′.08–dc23
2015021566
These are the solutions to the odd numbered problems in the text The Geometry of Convex Sets by I. E. Leonard and J. E. Lewis.
Some of the solutions are from assignments we gave in class, some are not. In all of the solutions, we have provided details that added to the clarity and ease of understanding for beginning students, and when possible to the elegance of the solutions.
Ed and Ted
Edmonton, Alberta, Canada
March 2016
A remark about the exercises is necessary. Certain questions are phrased as statements to avoid the incessant use of “prove that”. See Problem 1, for example. Such statements are supposed to be proved. Other questions have a “true–false” or “yes–no” quality. The point of such questions is not to guess, but to justify your answer. Questions marked with are considered to be more challenging. Hints are given for some problems. Of course, a hint may contain statements that must be proved.
1.
Let be a nonempty set in . If every three points of are collinear, then is collinear.
Let and be two distinct points in , then there is a unique line passing through these two points. Now let be an arbitrary point in , from the hypothesis, , and must be on some line , and since and uniquely determine the line , we must have . Therefore, every point in is on the line .
3.
Given that the line has the linear equation
show that the point
is on the line, and that the vector is parallel to the line.
Hint. If is on the line and if is also on the line, then must be parallel to the line.
Substituting the coordinates of this point into the linear equation for , we see that
so that the given point is on .
Since not both and are 0, we may assume that , and let
then both and are on the line , and therefore is parallel to . However,
so the vector is parallel to .
Note that this follows immediately from the fact that the vector
is the normal vector to the line .
5.
The centroid of three noncollinear points , and in is defined to be
Show that this definition of the centroid yields the synthetic definition of the centroid of the triangle with vertices , namely, the point at which the three medians of the triangle intersect. Prove also that the medians do indeed intersect at a common point.
Given a triangle with vertices , let be the midpoint of the segment and let be the point along the median which is the distance from to .
We have , and since , then
If we define and similarly, then we see that
so that the point lies on each of the three medians. Thus, this is the synthetic definition of the centroid and the medians intersect at a single point.
In the following exercises, assume that “distance” means “Euclidean distance” unless otherwise stated.
1.
a.
The
unit cube
in is the set of points
Draw the unit cube in , , and .
b.
What is the length of the longest line segment that you can place in the unit cube of ?
c.
What is the radius of the smallest Euclidean ball that contains the unit cube of ?
a.
The unit cubes are sketched below.
b.
If and are points in the unit cube in , then the Euclidean distance between and is
where and for .
The maximum distance will occur when and for , that is, when and are vertices of the cube that are diagonally opposite. In this case, the maximum distance is
c.
The smallest Euclidean ball that contains the unit cube is one that has diameter equal to , the length of the longest line segment in the cube. The ball is
and has radius .
3.
Find the distance between the points and using
a.
the metric,
b.
the “sup” metric,
c.
the Euclidean metric.
If and , then
Therefore,
a.
With the metric,
b.
With the “sup” metric,
c.
With the Euclidean metric,
5.
Show that a positive homothet of a closed ball is a closed ball.
Let , and , we will show that
Let , then where , and therefore
so that , and
Conversely, if , then letting , we have
that is
so that , and
In the following exercises, unless otherwise stated, assume that the closed unit ball is the closed unit ball in the Euclidean norm.
*1.
Find a hyperplane in that is tangent to the unit cube at the point . Verify your answer.
Let be the linear functional represented by , then the hyperplane
is tangent to the unit cube at .
To verify this, note that the point is in , since
Also, for any point in the cube, for , so that and .
3.
Find an equation for the hyperplane of
a.
Problem 2 (a),
b.
Problem 2 (b).
a.
The hyperplane through the point is perpendicular to the line through through the points and . Therefore,
Since is on , we have
and the equation of the hyperplane is
b.
The hyperplane tangent to the unit sphere at is perpendicular to the line through the points and . Therefore,
Since is on , we have
so that
that is, . The equation of the hyperplane is
5.
Given the linear functional , find
a.
the point on the closed unit ball where is a maximum,
b.
the point in the hyperplane that is closest to the origin,
c.
the point in the hyperplane that is closest to the origin.
a.
If , then from the Cauchy-Schwarz inequality we have
and so for all .
Now let , then
so that , and
Therefore, attains its maximum on the closed unit ball at .
b.
The hyperplane has equation
and the line through the points and is perpendicular to and has parametric equations
for . The point on the hyperplane with minimum Euclidean norm; that is, the point closed to the origin, is the point where the line intersects . Therefore,
so that , and the closest point on to is .
c.
Analogous to part (b), the point on the hyperplane
closest to the origin is the point with .
Thus, we want
that is, .
The point on closest to the origin is .
7.
Let be the linear functional on represented by the vector and let be the set
a.
Determine which points of are on the same side of .
b.
Which point or points of are closest to ?
c.
Which points of are on the same side of as the origin?
d.
Find the point or points of that are closest to .
For each , then value of is given by
and for , we have
a.
The points , and , are on one side of ; that is, in the halfspace
while the points , , and are on the other side; that is, in the halfspace
b.
Since , the point of closest to is the point .
c.
Only the point is in the halfspace
while the points , , , and are in the halfspace
d.
Since , while for all other points , the point closest to is .
9.
Given that is the hyperplane , and given that , find such that is exactly the same as .
Note that the point if and only if , that is, if and only if .
This last equation is true if and only if , that is, if and only if .
Taking , then , so that , and therefore .
11.
Let be the line
where and are distinct points in , and let be a linear functional on such that and . Find
a.
the point where intersects the hyperplane ,
b.
the scalar such that the hyperplane passes through the midpoint of the line segment joining and .
a.
If is on , then
so that , and the hyperplane intersects the line at the point .
b.
We want
so that .
13.
Given that , where the linear functional on is represented by the vector , find
a.
a line through that intersects in exactly one point,
b.
a line through that misses .
a.
The vector is perpendicular to the hyperplane , and Therefore the line through the origin in the direction of intersects in exactly one point.
b.
Since , then . We take the vector and note that
and the vector is perpendicular to . Thus, and are in , so the line through and lies entirely in and so misses .
15.
If the hyperplane intersects the straight line in exactly one point, then for every scalar , the hyperplane
intersects in exactly one point.
Hint. Conclude that this must happen because of what we know from Problems 12 and 14.
If the line misses , then lies in a hyperplane parallel to , which is parallel to . This contradicts the fact that intersects in exactly one point. If the line intersects in more than one point, then lies in , which is parallel to , again, a contradiction. Therefore, intersects in exactly one point.
17.
Prove Theorem 1.6.3.
The theorem states that if and are linear functionals on represented, respectively, by the vectors and , then and are represented, respectively, by the vectors and .
Clearly, for , we have
so is represented by the vector .
Similarly, for and , we have
so is represented by the vector .
19.
Show that a hyperplane in has a unique point of minimum norm.
Let be the hyperplane
where , with and . We may assume that , otherwise, replace by .
Let be the line
and let be the point where intersects .
Since , we have , and since , we have for some , so that
Therefore, , and .
We claim that is the unique point of minimum norm in . To see this, suppose that is any point of with .
Since the vector is orthogonal to the vector , from the Pythagorean Theorem, we have
and since , then , so that
21.
Show that if is a linear functional on and is represented by the vector , then
where is the closed unit ball in .
If , then from the Cauchy-Schwarz inequality we have
and therefore
for all .
Now let , so that and . However,
so that attains its maximum value on the closed unit ball at , and
23.
Develop a general formula for the point on the hyperplane
that is closest to the point . Assume that .
From the previous problem the procedure is clear. Since the vector is orthogonal to , we only have to find the point where the line through parallel to intersects . Thus, we want to find .
Now, is on if and only if for some scalar , and if and only if , that is, if and only if
Thus, we want
that is,