Or does progressive marginal taxation imply that it is a progressive average taxation?
Here, I mean that if $T(Y)$ is a tax function of income, marginal tax rate would be $dT/dY$ and average tax rate would be $T(Y)/Y$.
Or does progressive marginal taxation imply that it is a progressive average taxation?
Here, I mean that if $T(Y)$ is a tax function of income, marginal tax rate would be $dT/dY$ and average tax rate would be $T(Y)/Y$.
In comments it was clarified that $T(Y) = 0$ and continuity are not assumed. In this case there are several counterexamples, a relatively simple one being $$ T(Y) = \left\{ \begin{array}{ll} 1 + 20\%Y & \text{if } Y \leq 5 \\ 40\% Y & \text{if } Y > 5. \end{array} \right. $$ Here the taxation is progressive, but the average tax rate $T(Y)/Y$ is close to infinite near $Y = 0$ as $$ \lim_{Y \to 0} \frac{1}{Y} + 20\% = \infty, $$ and $T(Y)/Y$ is smaller later, e.g. $T(5)/5 = 2/5$.
As long as $T(0) > 0$ or there is a positive jump at any income level $Y$, the average tax rate may not be monotonically increasing.
(The reader may use the math of the cost functions $AC,MC$ to examine this.)
$$ \frac{\partial\frac{T(Y)}{Y}}{\partial Y}= \frac{T'(Y)}{Y} - \frac{T(Y)}{Y^2} $$
This can only be smaller than 0 if
$$ T'(Y) < \frac{T(Y)}{Y} $$
In other words, the marginal tax rate needs to be smaller than the average tax rate. This can't happen because you start with an average tax rate of zero and a positive marginal tax rate. From then on, in a progressive scheme, the tax due increases faster than taxable income. Progressive taxation is actually characterized by the fact that the marginal tax rate exceeds the average one. See here, p.27.