Scaled Relative Graph: A Rigorous Geometric Tool for Operators and Convergence Analysis