Displaying similar documents to “The Geometric Interior in Real Linear Spaces”

Affine Independence in Vector Spaces

Karol Pąk (2010)

Formalized Mathematics

Similarity:

In this article we describe the notion of affinely independent subset of a real linear space. First we prove selected theorems concerning operations on linear combinations. Then we introduce affine independence and prove the equivalence of various definitions of this notion. We also introduce the notion of the affine hull, i.e. a subset generated by a set of vectors which is an intersection of all affine sets including the given set. Finally, we introduce and prove selected properties...

Brouwer Fixed Point Theorem in the General Case

Karol Pąk (2011)

Formalized Mathematics

Similarity:

In this article we prove the Brouwer fixed point theorem for an arbitrary convex compact subset of εn with a non empty interior. This article is based on [15].

Extensions of convex functionals on convex cones

E. Ignaczak, A. Paszkiewicz (1998)

Applicationes Mathematicae

Similarity:

We prove that under some topological assumptions (e.g. if M has nonempty interior in X), a convex cone M in a linear topological space X is a linear subspace if and only if each convex functional on M has a convex extension on the whole space X.