I'm posting this question to both check my own understand of DFTs (I'm relatively new to the subject), and to ask a few questions at the bottom regarding the DFT and its output. If anything isn't allowed then just let me know.
If we have a continuous signal in the time domain, $x(t) = cos(2\pi f t)$, we need to convert it to a discrete time signal.
If we sample this signal at a rate $f_s$, which is the no. of samples taken per second, our equation becomes: $$x[n] = cos(2\pi f n T_s)$$ $$\Rightarrow x[n] = cos(\frac{2\pi f n}{f_s})$$ where n is the sample number.
If we wanted to find the spectrum of this sampled signal, we could use the DTFT which would give us a continuous and periodic output. But because we're working with computers, the output must be finite, so instead we use the DTF which will give us a sampled version of the DTFT output. The DFT is given by: $$X_k = \sum_{n=0}^{N-1} x_n . exp^{-j \frac{2\pi kn}{N}}$$ where N is the total number of samples, n is the sample of the input signal x[n], and k is the number of the frequency bin.
The frequency bin resolution is $\Delta f = \frac{f_s}{N}$, where N is the total no. of samples of x[n].
If we were to sample an input signal $x(t)$ with maximum frequency $f_{max}$, then by the Nyquist Sampling Theorem we want the sampling frequency $f_s = 2f_{max}$ to sample up to $f_{max}$ without aliasing.
I was wondering if my understanding of the DFT above is correct, and does this mean that, for each DFT bin, the DFT performs N summations and N multiplications to give the amplitude of the frequency at that DFT bin? And lastly, if I were to plot the amplitude vs frequency of the output of the DFT, would I only consider half of the spectrum (up to $\frac{f_s}{2}$) and then just double the amplitudes of the frequency bins below that?