How to prove if a function is bijective? I am having problems being able to formally demonstrate when a function is bijective (and therefore, surjective and injective). Here's an example:
How do I prove that $g(x)$ is bijective?
\begin{align}
f &: \mathbb R \to\mathbb R \\
g &: \mathbb R \to\mathbb R \\
g(x) &= 2f(x) + 3
\end{align}
However, I fear I don't really know how to do such. I realize that the above example implies a composition (which makes things slighty harder?). In any case, I don't understand how to prove such (be it a composition or not).
For injective, I believe I need to prove that different elements of the codomain have different preimages in the domain. Alright, but, well, how?
As for surjective, I think I have to prove that all the elements of the codomain have one, and only one preimage in the domain, right? I don't know how to prove that either!
EDIT
f is a bijection. Sorry I forgot to say that.

To prove a function is bijective, you need to prove that it is injective and also surjective.
"Injective" means no two elements in the domain of the function gets mapped to the same image.
"Surjective" means that any element in the range of the function is hit by the function.
Let us first prove that $g(x)$ is injective. If $g(x_1) = g(x_2)$, then we get that $2f(x_1) + 3 = 2f(x_2) +3 \implies f(x_1) = f(x_2)$. Since $f(x)$ is bijective, it is also injective and hence we get that $x_1 = x_2$.
Now let us prove that $g(x)$ is surjective. Consider $y \in \mathbb{R}$ and look at the number $\dfrac{y-3}2$. Since $f(x)$ is surjective, there exists $\hat{x}$ such that $f(\hat{x}) = \dfrac{y-3}2$. This means that $g(\hat{x}) = 2f(\hat{x}) +3 = y$. Hence, given any $y \in \mathbb{R}$, there exists $\hat{x} \in \mathbb{R}$ such that $g(\hat{x}) = y$. Hence, $g$ is also surjective.
Hence, $g(x)$ is bijective.
In general, if $g(x) = h(f(x))$ and if $f(x) : A \to B$ and $h(x): B \to C$ are both bijective then $g(x): A \to C$ is also bijective.
In your case, $f(x)$ was bijective from $\mathbb{R} \to \mathbb{R}$ and $h(x) = 2x+3$ is also bijective from $\mathbb{R} \to \mathbb{R}$.
