Theorema Dieudonnéanum Propositum theorematis | Notae | Tabula navigationisAmplifica

Theoremata mathematica


Ioanne Dieudonnémathematicatheoremasumma Minkowskianacopiarum clausarumcopiisspatium localiter convexumlocaliter sit compactumconum recessionissubspatium lineare




Theorema Dieudonnéanum, ex Ioanne Dieudonné appellatum, in mathematica est theorema de casu ubi summa Minkowskiana copiarum clausarum clauditur.



Propositum theorematis |


Datis copiis convexis clausis non vacuis A,B⊂Xdisplaystyle A,Bsubset X, spatium localiter convexum, si aut Adisplaystyle A aut Bdisplaystyle B localiter sit compactum et recc⁡(A)∩recc⁡(B)displaystyle operatorname recc (A)cap operatorname recc (B) (ubi reccdisplaystyle operatorname recc conum recessionis dat) sit subspatium lineare, tum A−Bdisplaystyle A-B clauditur.[1][2]



Notae |



  1. Jean Dieudonné (1966). "Sur la séparation des ensembles convexes". Mathematische Annalen 163 .


  2. Constantin Zălinescu, Convex Analysis in General Vector Spaces (River Edge, Novae Caesareae: World Scientific Publishing, 2002), pp. 6–7. ISBN 981-238-067-1. MR 1921556.


.mw-parser-output .stipulapadding:3px;background:#F7F8FF;border:1px solid grey;margin:auto.mw-parser-output .stipula td.cell1background:transparent;color:white



mathematica

Haec stipula ad mathematicam spectat. Amplifica, si potes!

Popular posts from this blog

Saint-André (Pyrenaeus Orientalis) Nexus interni Nexus externi | Tabula navigationisOpenStreetMapGeoNames66168De hoc commune apud cassini.ehess.frHuius communis pagina interretialisAmplifica

Index Asteroidum 16001-17000 Tabula navigationis

Was Objective-C really a hindrance to Apple software development? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern)Was there any commercially available graphical interfaces before the apple Lisa?What was the first language with regexes?Unknown Apple to VGA adapterWhat was this Apple external CRT monitor that looked like an iMac G3?A good method for formatting a modern device in HFS (Not HFS+)What Apple computers are shown in this MacBook Pro Reveal video?Help identify old Apple game from 80s (Apple II, Apple IIGS)First language designed to be embedded?What exactly did Sony contribute to the original Apple PowerBook?How was it back then in 1984, when the Apple II had color, and the new Macintosh didn't?