Matches in SemOpenAlex for { <https://semopenalex.org/work/W1977348583> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1977348583 endingPage "11" @default.
- W1977348583 startingPage "11" @default.
- W1977348583 abstract "The author recently proved the following theorem: THEOREM 1. Let X be a Hilbert space, with real or complex scalars and inner product (x, y). Let xi, * *, xa and yi, * ym be given such that (1) Re(x xi, y yi) 2! 0 (;i, = 1, ... ) and let x be any point of X. Then there exists a point y such that (2) Re(xi -x, yiy) _ 0i=1 ) The proof was patterned after Schoenberg's [3] proof of Kirszbraun's theorem. B. Griinbaum [2] has generalized my and Schoenberg's proofs to obtain a theorem which incorporates Theorem 1 and Kirszbraun's theorem, and J. G. Wendel has contributed a neater proof of Theorem 1. With Professor Wendel's permission, I reproduce his proof: LEMMA. Let XE be En, with the usual (real) scalars and inner product, and let xi, , x..; yi, * * , ym be given such that (11) (Xi Xj) y-yj) _ 0 (i= *Xm) Then there exists a point y such that (2') (x;, y) < (xi, yi) (i = 1, * , m). PROOF OF THE LEMMA. Let A be the matrix whose ith row is xi, and let b be the column-vector whose ith element is (xi, yi). Then (2') is equivalent to Ay_ b. If there is no solution for y, then by Stiemke's Theorem [1, Theorem 2.7] there exists a row-vector n < 0 such that (3a, 3b) qA = 0 and qb = 1. Suppose this to be the case. Then (3a) implies Ei nixi= 0, hence for each j, (4) E ni(xi, yj) = 0." @default.
- W1977348583 created "2016-06-24" @default.
- W1977348583 creator A5088620397 @default.
- W1977348583 date "1962-01-01" @default.
- W1977348583 modified "2023-09-24" @default.
- W1977348583 title "On the simultaneous solution of a certain system of linear inequalities" @default.
- W1977348583 cites W2091311522 @default.
- W1977348583 cites W2315731753 @default.
- W1977348583 cites W2331236532 @default.
- W1977348583 doi "https://doi.org/10.1090/s0002-9939-1962-0143006-9" @default.
- W1977348583 hasPublicationYear "1962" @default.
- W1977348583 type Work @default.
- W1977348583 sameAs 1977348583 @default.
- W1977348583 citedByCount "11" @default.
- W1977348583 countsByYear W19773485832015 @default.
- W1977348583 crossrefType "journal-article" @default.
- W1977348583 hasAuthorship W1977348583A5088620397 @default.
- W1977348583 hasBestOaLocation W19773485831 @default.
- W1977348583 hasConcept C108710211 @default.
- W1977348583 hasConcept C114614502 @default.
- W1977348583 hasConcept C118615104 @default.
- W1977348583 hasConcept C18903297 @default.
- W1977348583 hasConcept C202444582 @default.
- W1977348583 hasConcept C2524010 @default.
- W1977348583 hasConcept C2777759810 @default.
- W1977348583 hasConcept C33923547 @default.
- W1977348583 hasConcept C46757340 @default.
- W1977348583 hasConcept C62799726 @default.
- W1977348583 hasConcept C86803240 @default.
- W1977348583 hasConcept C90673727 @default.
- W1977348583 hasConceptScore W1977348583C108710211 @default.
- W1977348583 hasConceptScore W1977348583C114614502 @default.
- W1977348583 hasConceptScore W1977348583C118615104 @default.
- W1977348583 hasConceptScore W1977348583C18903297 @default.
- W1977348583 hasConceptScore W1977348583C202444582 @default.
- W1977348583 hasConceptScore W1977348583C2524010 @default.
- W1977348583 hasConceptScore W1977348583C2777759810 @default.
- W1977348583 hasConceptScore W1977348583C33923547 @default.
- W1977348583 hasConceptScore W1977348583C46757340 @default.
- W1977348583 hasConceptScore W1977348583C62799726 @default.
- W1977348583 hasConceptScore W1977348583C86803240 @default.
- W1977348583 hasConceptScore W1977348583C90673727 @default.
- W1977348583 hasIssue "1" @default.
- W1977348583 hasLocation W19773485831 @default.
- W1977348583 hasOpenAccess W1977348583 @default.
- W1977348583 hasPrimaryLocation W19773485831 @default.
- W1977348583 hasRelatedWork W1494911069 @default.
- W1977348583 hasRelatedWork W1601632810 @default.
- W1977348583 hasRelatedWork W1916399207 @default.
- W1977348583 hasRelatedWork W1957210600 @default.
- W1977348583 hasRelatedWork W1970871438 @default.
- W1977348583 hasRelatedWork W1992114410 @default.
- W1977348583 hasRelatedWork W2018051556 @default.
- W1977348583 hasRelatedWork W2027103512 @default.
- W1977348583 hasRelatedWork W2054576558 @default.
- W1977348583 hasRelatedWork W2091311522 @default.
- W1977348583 hasRelatedWork W2095145823 @default.
- W1977348583 hasRelatedWork W2181285722 @default.
- W1977348583 hasRelatedWork W2210108071 @default.
- W1977348583 hasRelatedWork W2316551994 @default.
- W1977348583 hasRelatedWork W2332944258 @default.
- W1977348583 hasRelatedWork W2565317631 @default.
- W1977348583 hasRelatedWork W328705699 @default.
- W1977348583 hasRelatedWork W64495302 @default.
- W1977348583 hasRelatedWork W2161750308 @default.
- W1977348583 hasRelatedWork W3140739680 @default.
- W1977348583 hasVolume "13" @default.
- W1977348583 isParatext "false" @default.
- W1977348583 isRetracted "false" @default.
- W1977348583 magId "1977348583" @default.
- W1977348583 workType "article" @default.