Is average pooling equivalent to a strided convolution with a specific constant kernel?
Why then are explicit pooling layers needed if they can be realized by convolutions?
It is probably because the convolution is more expensive than the usual/natural implementation (i.e. just summing and then dividing).
To see why, let's consider your example. If ...