A pointwise bipolar theorem

We provide a pointwise bipolar theorem for liminf-closed convex sets of positive Borel measurable functions on a sigma-compact metric space without the assumption that the polar is a tight set of measures. As applications we derive a version of the transport duality under non-tight marginals, and a superhedging duality for semistatic hedging in discrete time.