Intereting Posts

How to define addition through multiplication?
Is there a general formula for creating close approximations of regular polygons on a regular lattice?
Showing that the pmf of a complicated expression sums to 1 (i.e. it converges)
Chebyshev: Proof $\prod \limits_{p \leq 2k}{\;} p > 2^k$
injective and surjective
Eigenvalue decomposition of $D \, A \, D$ with $A$ symmetric and $D$ diagonal
How is number of conjugacy class related to the order of a group?
convergence of $ \sum_{n=1}^{\infty} (-1)^n \frac{2^n \sin ^{2n}x }{n } $
Probability of exactly one empty box when n balls are randomly placed in n boxes.
Non-zero Conditional Differential Entropy between a random variable and a function of it
Must any nth order homogeneous ODE have n solutions?
probability of three random points inside a circle forming a right angle triangle
Let C be a circle. Show that the only subset of C homeomorphic to a circle is C itself
Norm of the linear functional
Non-Euclidean Geometrical Algebra for Real times Real?

I’m trying to solve the following problem but I have no clue how to do it.

Let $(X,||.||)$ be a normed $\mathbb C$-vector space. Prove: For any sequence of linearly independent elements $y_j, 1 \leq j \leq N$, in $X$ and any sequence $(a_j)_{1 \leq j \leq N}$ in $\mathbb R$ there exists an element $f \in X^*$ s.t. $f(y_j)=a_j$ for any $1 \leq j \leq N$.

The only thing I know is that I need at some point the Hahn-Banach Theorem. I would be grateful if someone could help me to prove this statement.

Thanks!

- How to prove Campanato space is a Banach space
- Compactness of Sobolev Space in L infinity
- What are some easy to understand applications of Banach Contraction Principle?
- Distance from a weak* closed subspace is achieved by an element?
- Convergence in $\mathcal{D}'(\mathbb{R})$
- Spectrum of a shift composed with a multiplication operator on a vector valued Banach space

- No surjective bounded linear map from $\ell^2(\mathbf{N})$ to $\ell^1(\mathbf{N})$
- Basis for a product Hilbert space.
- Prove that $C^1()$ with the $C^1$- norm is a Banach Space
- weak convergence of product of weakly and strongly convergent $L^{2}$ sequences in $L^{2}$
- A convex subset of a Hilbert space
- How to construct examples of functions in the Spaces of type $\mathcal{S}$
- Relation between Sobolev Space $W^{1,\infty}$ and the Lipschitz class
- Prove that the limit exist
- Show that the norm of the multiplication operator $M_f$ on $L^2$ is $\|f\|_\infty$
- Can you equip every vector space with a Hilbert space structure?

I’m assuming you learned about finite-dimensional spaces along the way. If you have a linearly independent set of vectors $\{ y_1,y_2,\cdots,y_N \}$, then the linear space $Y_N$ spanned by these is a finite-dimensional space. So there are linear functionals $f_j$ on $Y_N$ such that $f_j(y_k)=\delta_{j,k}$. Using these you can find a functional $f$ on $Y_N$ such that $f(y_j)=a_j$ (in fact $f=\sum_{j=1}^{N}a_jf_j$ is such a functional.)

The space $Y_N$ is a finite-dimensional normed space, inheriting its norm from $X$. All norms on a finite-dimensional space are equivalent. So the following norm is equivalent to the the induced one:

$$

\|x\|_{1}=\sum_{j=1}^{N}|f_j(x)|

$$

Therefore, there is a constant $C$ such that $\|x\|_1 \le C\|x\|$ for all $x\in Y_N$, which forces the $f_j$ to be continuous with

$$

|f_j(x)| \le \|x\|_{1} \le C\|x\|.

$$

So $f$ is continuous on $Y_N$ with $|f(x)| \le (C\sum_{j=1}^{n}|a_j|)\|x\|$ for all $x\in Y_N$. By the Hahn-Banach theorem you can extend $f$ to all of $X$ in such a way that $\|f\|_{X^*} \le C\sum_{j=1}^{n}|a_j|$. Any such extension $\tilde{f}\in X^*$ satisfies $\tilde{f}(y_j)=a_j$ for $1 \le j \le N$.

- $\epsilon $ $\delta$ proof of geometric series $x$<1
- Group structure from involutions, exercise devised by Richard Brauer.
- Prove $\cos 3x =4\cos^3x-3\cos x$
- Are distinct prime ideals in a ring always coprime? If not, then when are they?
- Umbilic points on a connected smooth surface problem
- Can the Negation of a Conditional Implying the First Atomic Proposition Get Proven in Around 50 Steps?
- Conjectures Involving floor(x)/piecewise continuity with regards to Integration and Differential Equations
- $f_n → f$ uniformly on $S$ and each $f_n$ is cont on $S$. Let $(x_n)$ be a sequence of points in $S$ converging to $x \in S$. Then $f_n(x_n) → f(x)$.
- Probability from a collection of independent predictions
- Is there an Inverse Gamma $\Gamma^{-1} (z) $ function?
- definition of the constant $e$
- Can we found mathematics without evaluation or membership?
- Line triangle intersection
- If the size of 2 subgroups of G are coprime then why is their intersection is trivial?
- For the Fibonacci numbers, show for all $n$: $F_1^2+F_2^2+\dots+F_n^2=F_nF_{n+1}$