I'm having some troubles regarding the definitions that use the supremum of a set for all vectors with a specific norm.
At the moment the case in question is the operator norm, defined as $\|T\|_{X'} = \sup\{|T(x)|: \|x\|_X=1\}$, for some continuous linear operator $T$ with values in $\mathbb{R}$ and defined on a normed space $X$. (when I write $X'$ i mean $\mathcal{L}_c(X,\mathbb{R})$, instead of $X^*$)
Let's say now that I'm asked to find the norm of the operator $T$. Here I have problems, I don't really know how to even begin to set up a proof that works with all the vectors of norm 1. Can I always take a vector $v$ and consider $\frac{v}{||v||}$ instead? (i've taken the norm 1 as example but this question applies to all other equivalent definitions).
I know that $|T(v)| \le \|T\|_{X'}\|v\|_X$, let's say I find that $|T(v)|\le M \|v\|_X$ for some $M>0$ and some generic vector $v$.
How do I prove/disprove that $M$ is the supremum? Going through all possible vectors of norm 1, seems cumbersome enough in finite dimension spaces.
Are there some general approaches when tackling this kind of definitions? (ae using limits and whatnot).
In short, my issue with inequalities is making sure that i'm close enough and there isn't nothing in between that I'm missing, and using the raw definition of supremum with $\epsilon$ most time is just infeasible.
I'm sorry for the rambling.