My question refers to Leon Simon's Book: Geometric Measure Theory, Chapter 42


So let $V\in G\_n(U)$ a general Varifold and $\|\delta V\|$ the Total Variation measure. If the density $\theta^n(\mu\_V,x)>0$ and $\lim\_{r\searrow 0} r^{1-n} \|\delta V\|(B\_r(x))=0$ $(\ast)$ then one can use the standard compactness theorem to select a sequence $\lambda\_j\searrow 0$, s.t. $\eta\_{x,\lambda\_j\#}V$ converges to a limit Varifold $C$. $\eta$ the typical blow-up function. 


My question: Why is $C$ stationary in $\mathbb{R}^{n+k}$?? (i.e. $\delta C(X)=0 \; \forall X\in C^1\_c(\mathbb{R}^{n+k},\mathbb{R}^{n+k})$)


I think it has something to do with $(\ast)$, but how goes the exact argument??



Existence of stationary tangent cones
You can easily check the following things:


1) if $ V\_{i} $ and $ V $ are varifolds in an open set $ U $ and $ V\_{i} \to V $ then $\| \delta V \|(G)\leq\liminf\_{i \to 0}\| \delta V\_{i} \|(G) $ whenever $ G \subseteq U $ is open.


2) if $ V $ is a $ k $ dimensional varifold in $ U $ and $ 0 < r < \infty $ then $ \| \delta(\mu\_{r,\sharp}V) \| = r^{k-1}\mu\_{r,\sharp}\| \delta V \| $, where $ \mu\_{r}(x) = rx $.


Therefore if $ C \in TanVar(V,0) $ and $ \Theta^{k-1}(\| \delta V \|,0) =0 $ then there exists a sequence $ r\_{i} \to \infty $ such that $ C = \lim\_{i \to 0 } \mu\_{r\_{i},\sharp}V $ and


$ \| \delta C \|(B\_{R} ) \leq \liminf\_{i \to \infty}r\_{i}^{k-1}\| \delta V \|( B\_{R/r\_{i}}) =0 $ whenever $ 0 < R < \infty $.


